Continuous integration

Add z3 mitm mode (#104) #630

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	1m 9s
format	15s
generate_log (4.8.7, true)	47s
generate_log (4.8.17)	48s
generate_log (4.11.2)	32s
generate_log (4.12.2)	30s
generate_log (4.12.4)	40s
generate_log (4.13.3, glibc-2.35)	29s
test (4.8.7)	6m 58s
test (4.8.17)	8m 12s
test (4.11.2)	8m 31s
test (4.12.2)	7m 22s
test (4.12.4)	7m 55s
test (4.13.3)	7m 34s
	51m 42s