Build and test EverParse based on a FStar image

Karamel is now double-licensed Apache+MIT #743

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	38m 14s
produce-binary	20m 54s
	59m 8s