Build and test EverParse based on a FStar image

ASN1* : Provably Correct Non-Malleable Parsing for ASN.1 DER #763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
produce-binary	12m 56s
produce-binary	1m 40s
produce-binary	18m 36s
build	34m 5s
build	39m 23s
build	39m 23s
	2h 26m 3s