Build and test EverParse based on a FStar image

Merge pull request #113 from lemmy/mku-gh103 #557

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	34m 31s
produce-binary	1h 13m 48s
	1h 48m 19s