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

Rewrite Threading Backend #1278

Job	Run time
formal verification tests on mac	3m 5s
icarus verilog (ubuntu-20.04)	2m 42s
formal verification tests (z3)	2m 25s
Documentation and Formatting	1m 40s
formal verification tests (cvc4)	3m 24s
icarus verilog (macos-latest)	3m 1s
Integration Tests (2.13.10, 8)	1m 46s
formal verification tests (btormc)	2m 11s
Integration Tests (2.13.10, 11)	2m 4s
No Warnings with Scala 2.13 for PRs	2m 51s
formal verification tests (bitwuzla)	2m 13s
sbt test on ubuntu (2.13.10, 8)	6m 22s
Integration Tests (2.13.10, 20)	2m 59s
sbt test on ubuntu (2.13.10, 11)	6m 25s
sbt test on mac	10m 23s
sbt test for treadle on ubuntu (2.13.10, 8)	2m 1s
verilator regressions (4.028)	9m 25s
sbt test for treadle on ubuntu (2.13.10, 11)	2m 9s
verilator regressions (4.032)	6m 21s
verilator regressions (4.034)	9m 5s
verilator regressions (4.038)	7m 59s
verilator regressions (4.108)	6m 59s
verilator regressions (4.200)	9m 35s
verilator regressions (4.202)	7m 38s
all tests passed	0s
publish	0s
	1h 54m 43s

Provide feedback