Skip to content

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

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

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

Triggered via push November 29, 2024 09:17
Status Success
Total duration 23s
Artifacts
check_markdown
13s
check_markdown
Fit to window
Zoom out
Zoom in