Skip to content
Build

New Term Encoding #581

Sign in to view logs

New Term Encoding

New Term Encoding #581

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

build.yml

on: pull_request
test
8m 37s
test
nits
42s
nits
Fit to window
Zoom out
Zoom in