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

3D: optimize total compile-time constant-size pairs without actions #771

Sign in to view logs

3D: optimize total compile-time constant-size pairs without actions

3D: optimize total compile-time constant-size pairs without actions #771

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
30m 28s
produce-binary
24m 42s
55m 10s