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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Update Editor's Copy
24s
24s