Skip to content
.github/workflows/push.yml

chore: add sections for some more upstreamable lemmas #441

Sign in to view logs

chore: add sections for some more upstreamable lemmas

chore: add sections for some more upstreamable lemmas #441

Triggered via push December 21, 2025 14:47
@Ruben-VandeVeldeRuben-VandeVelde
pushed 06c155a
master
Status Success
Total duration 57m 38s
Artifacts 1

push.yml

on: push
Build project
57m 35s
Build project
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
37.5 MB
sha256:d8f0b92d33524abc32306188f346b25d9587a93aa81e0b66bdfdfd178fab0caf