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

Rewrite Threading Backend #1277

Job	Run time
Integration Tests (2.13.10, 8)	2m 0s
Integration Tests (2.13.10, 11)	2m 1s
Integration Tests (2.13.10, 20)	2m 13s
formal verification tests on mac	2m 28s
formal verification tests (z3)	2m 15s
Documentation and Formatting	2m 7s
formal verification tests (cvc4)	2m 28s
formal verification tests (btormc)	2m 12s
icarus verilog (ubuntu-20.04)	2m 58s
sbt test on ubuntu (2.13.10, 8)	2m 21s
formal verification tests (bitwuzla)	2m 45s
sbt test on mac	2m 20s
icarus verilog (macos-latest)	3m 22s
sbt test on ubuntu (2.13.10, 11)	2m 4s
verilator regressions (4.028)	7m 51s
No Warnings with Scala 2.13 for PRs	2m 50s
sbt test for treadle on ubuntu (2.13.10, 8)	1m 39s
verilator regressions (4.032)	6m 20s
sbt test for treadle on ubuntu (2.13.10, 11)	2m 0s
verilator regressions (4.034)	6m 34s
verilator regressions (4.038)	6m 48s
verilator regressions (4.108)	8m 18s
verilator regressions (4.200)	8m 42s
verilator regressions (4.202)	6m 56s
all tests passed	0s
publish	0s
	1h 31m 32s

Provide feedback