Build everparse package (windows)

Build everparse package (windows) #15

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fstar-src	7s
fstar-binary	9m 31s
build	11m 16s
test	1m 18s
	22m 12s