Skip to content

Merge pull request #365 branch 'dev/no-diff-to-benchmark' into dev/14… #392

Merge pull request #365 branch 'dev/no-diff-to-benchmark' into dev/14…

Merge pull request #365 branch 'dev/no-diff-to-benchmark' into dev/14… #392

Triggered via push January 8, 2024 19:39
Status Success
Total duration 50s
Artifacts
trigger_step_function
40s
trigger_step_function
Fit to window
Zoom out
Zoom in