This repository has been archived by the owner on Aug 19, 2024. It is now read-only.

Archive project #1387

Job	Run time
formal verification tests on mac	10s
Documentation and Formatting	35s
icarus verilog (ubuntu-20.04)	28s
formal verification tests (z3)	35s
icarus verilog (macos-latest)	9s
formal verification tests (cvc4)	33s
formal verification tests (btormc)	34s
Integration Tests (2.13.12, 8)	34s
formal verification tests (bitwuzla)	35s
No Warnings with Scala 2.13 for PRs	0s
Integration Tests (2.13.12, 11)	32s
sbt test on ubuntu (2.13.10, 8)	35s
Integration Tests (2.13.12, 20)	34s
sbt test on ubuntu (2.13.10, 11)	34s
Integration Tests (2.13.12, 21)	34s
sbt test on mac	6s
sbt test for treadle on ubuntu (2.13.10, 8)	34s
sbt test for treadle on ubuntu (2.13.10, 11)	34s
verilator regressions (4.028)	33s
verilator regressions (4.032)	32s
verilator regressions (4.034)	34s
verilator regressions (4.038)	34s
verilator regressions (4.108)	34s
verilator regressions (4.200)	32s
verilator regressions (4.202)	33s
verilator regressions (5.018)	33s
verilator regressions (5.020)	33s
all tests passed	1s
publish	1s
	13m 16s

Provide feedback