Skip to content
Build

New Term Encoding #585

Sign in to view logs

New Term Encoding

New Term Encoding #585

Triggered via pull request July 27, 2023 23:09
@oflattoflatt
synchronize #158
oflatt:oflatt-check-proofs
Status Failure
Total duration 1m 28s
Artifacts –

build.yml

on: pull_request
test
1m 19s
test
nits
55s
nits
Fit to window
Zoom out
Zoom in

Annotations

2 errors
nits
Process completed with exit code 2.
test
Process completed with exit code 2.