Skip to content
Update Editor's Copy

Unify the two branches in the consistency proof check #368

Sign in to view logs

Unify the two branches in the consistency proof check

Unify the two branches in the consistency proof check #368

Triggered via pull request October 6, 2025 21:39
@davidbendavidben
synchronize #149
unify-consistency
Status Success
Total duration 20s
Artifacts 1

ghpages.yml

on: pull_request
Update Editor's Copy
18s
Update Editor's Copy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
102 KB
sha256:77925d8488781943c3b96efaecaa04bd04fd9f8c83c66034cb59552c36af7b1d