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

explicitly pass --no_copy_everparse_h to 3D module tests #614

Sign in to view logs

explicitly pass --no_copy_everparse_h to 3D module tests

explicitly pass --no_copy_everparse_h to 3D module tests #614

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
33m 51s
produce-binary
32m 56s
1h 6m 47s