Skip to content

formalism: Unify ordering of rules and definitions #92

formalism: Unify ordering of rules and definitions

formalism: Unify ordering of rules and definitions #92

Triggered via push July 11, 2023 07:06
Status Success
Total duration 2m 14s
Artifacts 1

formalism.yaml

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

Artifacts

Produced during runtime
Name Size
formalism Expired
683 KB