Skip to content

formalism: Add mechanization indicators for each section #120

formalism: Add mechanization indicators for each section

formalism: Add mechanization indicators for each section #120

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

formalism.yaml

on: push
Build formalism.pdf
2m 16s

Artifacts

Produced during runtime
Name Size
formalism Expired
232 KB