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

Rewrite Threading Backend #1263

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

Provide feedback