Skip to content

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

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

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

Triggered via push January 30, 2025 14:17
Status Success
Total duration 1m 1s
Artifacts
check_spelling
51s
check_spelling
Fit to window
Zoom out
Zoom in