Skip to content

Merge branch 'main' of https://github.com/UPPMAX/programming_formalisms #1941

Merge branch 'main' of https://github.com/UPPMAX/programming_formalisms

Merge branch 'main' of https://github.com/UPPMAX/programming_formalisms #1941

Triggered via push November 22, 2024 12:15
Status Failure
Total duration 1m 5s
Artifacts
check_spelling
55s
check_spelling
Fit to window
Zoom out
Zoom in