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

Rewrite Threading Backend #1285

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

Provide feedback