Skip to content
Build

New Term Encoding #582

Sign in to view logs

New Term Encoding

New Term Encoding #582

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

build.yml

on: pull_request
test
1m 40s
test
nits
46s
nits
Fit to window
Zoom out
Zoom in