Build and test EverParse based on a FStar image

Merge remote-tracking branch 'origin/master' into nik_3d_probe #574

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	23m 46s
produce-binary	35m 32s
	59m 18s