Skip to content
Update Editor's Copy

Unify the two branches in the consistency proof check #360

Sign in to view logs

Unify the two branches in the consistency proof check

Unify the two branches in the consistency proof check #360

Triggered via pull request October 6, 2025 14:09
@davidbendavidben
opened #149
unify-consistency
Status Success
Total duration 27s
Artifacts 1

ghpages.yml

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

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
102 KB
sha256:54522253c1a811a13795a3433b5c56d89fa367a760eb40cb624f3fe3025fa7c5