Skip to content
Build and test EverParse based on a FStar image

also simplify compile-time constant-sized lists in pairs #775

Sign in to view logs

also simplify compile-time constant-sized lists in pairs

also simplify compile-time constant-sized lists in pairs #775

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
1m 17s
produce-binary
19m 52s
build
37s
build
37m 19s
59m 5s