Build and test EverParse based on a FStar image

Remove dependency on fstar's Getopt #759

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	39m 35s
produce-binary	18m 22s
	57m 57s