Skip to content

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

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

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

Triggered via push November 22, 2024 05:10
Status Success
Total duration 58s
Artifacts
check_spelling
50s
check_spelling
Fit to window
Zoom out
Zoom in