CI

fix(hax-driver/F*): extraction options #202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (ubuntu-latest, stable)	1m 44s
test (ubuntu-latest, stable)	1m 44s
test (macos-latest, stable)	1h 10m 51s
test (macos-latest, stable)	3m 17s
test (windows-latest, stable)	2m 1s
test (windows-latest, stable)	2m 1s
benchmark	1s
lint	1s
lint	36s
audit	1s
audit	23s
benchmark (ubuntu-latest)	3m 32s
benchmark (macos-latest)	4m 47s
benchmark (windows-latest)	18m 33s
	1h 49m 32s