Skip to content

Merge pull request #494 from mala-project/Changing-author-order-in-ci… #606

Merge pull request #494 from mala-project/Changing-author-order-in-ci…

Merge pull request #494 from mala-project/Changing-author-order-in-ci… #606

Triggered via push December 8, 2023 12:54
Status Success
Total duration 18s
Artifacts
mirror-to-CASUS
9s
mirror-to-CASUS
Fit to window
Zoom out
Zoom in