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

copy EverParse.h in the modules/ and probe/ tests #618

Sign in to view logs

copy EverParse.h in the modules/ and probe/ tests

copy EverParse.h in the modules/ and probe/ tests #618

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
28m 44s
build
28m 2s
56m 46s