Skip to content

Merge pull request #486 from mala-project/master #598

Merge pull request #486 from mala-project/master

Merge pull request #486 from mala-project/master #598

Triggered via push September 28, 2023 14:00
Status Success
Total duration 22s
Artifacts
mirror-to-CASUS
12s
mirror-to-CASUS
Fit to window
Zoom out
Zoom in