Skip to content

Merge pull request #150 from davidben/proof-explain #383

Merge pull request #150 from davidben/proof-explain

Merge pull request #150 from davidben/proof-explain #383

Triggered via push October 17, 2025 20:06
Status Success
Total duration 35s
Artifacts 1

ghpages.yml

on: push
Update Editor's Copy
31s
Update Editor's Copy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
123 KB
sha256:889636afc1604ad7299a9f70209c53719d6ab9eab878017443c478dc5d33cfe3