Build and test EverParse based on a FStar image

(TEMP) CI: build Steel without admit_smt_queries #653

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1h 50m 9s
produce-binary	22m 8s
	2h 12m 17s