Skip to content

Merge branch 'master' into typed-hazelnut #140

Merge branch 'master' into typed-hazelnut

Merge branch 'master' into typed-hazelnut #140

Triggered via push October 10, 2023 07:00
Status Success
Total duration 2m 25s
Artifacts 1

formalism.yaml

on: push
Build formalism.pdf
2m 17s
Build formalism.pdf
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
formalism Expired
270 KB