Skip to content

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

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

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

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