Skip to content

Merge pull request #39 from fixpoint/feature/extra-jobmngrd #38

Merge pull request #39 from fixpoint/feature/extra-jobmngrd

Merge pull request #39 from fixpoint/feature/extra-jobmngrd #38

Triggered via push August 1, 2024 12:52
Status Success
Total duration 11s
Artifacts
build_and_test
3s
build_and_test
Fit to window
Zoom out
Zoom in