verify-deep

Align coverage docs with toggle-advisory semantics #ci-float #123

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
float-extended-verilator	25m 20s
float-properties	2m 1s
float-accuracy	36m 26s
float-formal	7m 17s
float-extended-icarus	3h 27m 16s
spartan7-synth	7m 20s
verify-base	2h 58m 23s
verify-deep	4s
	7h 44m 7s