Skip to content

Add proofs (#5)

Add proofs (#5) #17

Triggered via push May 14, 2024 19:17
Status Success
Total duration 1m 40s
Artifacts 1

build.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Output PDF Expired
203 KB