This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
Update chisel, chisel-plugin to 6.0.0-RC1 #1335
scala-stewardtest.yml
on: pull_request
Matrix: formal verification tests
Matrix: icarus verilog
Matrix: Integration Tests
Matrix: sbt test on ubuntu
Matrix: verilator regressions
sbt test on mac
1m 37s
formal verification tests on mac
1m 54s
Documentation and Formatting
1m 14s
Matrix: sbt test for treadle on ubuntu
No Warnings with Scala 2.13 for PRs
1m 40s
publish
0s
all tests passed
0s
Annotations
7 errors
|
formal verification tests (cvc4)
Process completed with exit code 1.
|
|
formal verification tests (btormc)
The job was canceled because "cvc4" failed.
|
|
formal verification tests (btormc)
Process completed with exit code 1.
|
|
formal verification tests (bitwuzla)
The job was canceled because "cvc4" failed.
|
|
formal verification tests (bitwuzla)
The operation was canceled.
|
|
formal verification tests (z3)
The job was canceled because "cvc4" failed.
|
|
formal verification tests (z3)
The operation was canceled.
|