Skip to content

Merge pull request #62 from fixpoint/max-executor-option #53

Merge pull request #62 from fixpoint/max-executor-option

Merge pull request #62 from fixpoint/max-executor-option #53

Triggered via push November 14, 2024 01:45
Status Success
Total duration 16s
Artifacts
build_and_test
4s
build_and_test
Fit to window
Zoom out
Zoom in