Skip to content

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

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

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

Triggered via push January 30, 2025 14:51
Status Success
Total duration 26s
Artifacts
check_markdown
16s
check_markdown
Fit to window
Zoom out
Zoom in