This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
Rewrite Threading Backend #1279
Triggered via pull request
September 14, 2023 16:05
ekiwi
Status
Failure
Total duration
1m 29s
Artifacts
–
test.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
46s
formal verification tests on mac
46s
Documentation and Formatting
45s
Matrix: sbt test for treadle on ubuntu
No Warnings with Scala 2.13 for PRs
55s
publish
0s
all tests passed
0s
Annotations
38 errors
|
sbt test on ubuntu (2.13.10, 8)
Process completed with exit code 1.
|
|
Integration Tests (2.13.10, 8)
Process completed with exit code 1.
|
|
sbt test for treadle on ubuntu (2.13.10, 8)
Process completed with exit code 1.
|
|
Integration Tests (2.13.10, 20)
The job was canceled because "_2_13_10_8" failed.
|
|
Integration Tests (2.13.10, 20)
The operation was canceled.
|
|
sbt test on ubuntu (2.13.10, 11)
The job was canceled because "_2_13_10_8" failed.
|
|
sbt test on ubuntu (2.13.10, 11)
The operation was canceled.
|
|
verilator regressions (4.200)
Process completed with exit code 1.
|
|
Documentation and Formatting
Process completed with exit code 1.
|
|
verilator regressions (4.038)
The job was canceled because "_4_200" failed.
|
|
verilator regressions (4.038)
Process completed with exit code 1.
|
|
Integration Tests (2.13.10, 11)
The job was canceled because "_2_13_10_8" failed.
|
|
Integration Tests (2.13.10, 11)
The operation was canceled.
|
|
sbt test for treadle on ubuntu (2.13.10, 11)
The job was canceled because "_2_13_10_8" failed.
|
|
sbt test for treadle on ubuntu (2.13.10, 11)
The operation was canceled.
|
|
verilator regressions (4.108)
The job was canceled because "_4_200" failed.
|
|
verilator regressions (4.108)
The operation was canceled.
|
|
verilator regressions (4.028)
The job was canceled because "_4_200" failed.
|
|
verilator regressions (4.028)
The operation was canceled.
|
|
sbt test on mac
Process completed with exit code 1.
|
|
formal verification tests on mac
Process completed with exit code 1.
|
|
No Warnings with Scala 2.13 for PRs
Process completed with exit code 1.
|
|
verilator regressions (4.202)
The job was canceled because "_4_200" failed.
|
|
verilator regressions (4.202)
The operation was canceled.
|
|
verilator regressions (4.034)
The job was canceled because "_4_200" failed.
|
|
verilator regressions (4.034)
The operation was canceled.
|
|
formal verification tests (bitwuzla)
Process completed with exit code 1.
|
|
verilator regressions (4.032)
The job was canceled because "_4_200" failed.
|
|
verilator regressions (4.032)
The operation was canceled.
|
|
icarus verilog (ubuntu-20.04)
Process completed with exit code 1.
|
|
icarus verilog (macos-latest)
The job was canceled because "ubuntu-20_04" failed.
|
|
icarus verilog (macos-latest)
Process completed with exit code 1.
|
|
formal verification tests (z3)
The job was canceled because "bitwuzla" failed.
|
|
formal verification tests (z3)
The operation was canceled.
|
|
formal verification tests (cvc4)
The job was canceled because "bitwuzla" failed.
|
|
formal verification tests (cvc4)
The operation was canceled.
|
|
formal verification tests (btormc)
The job was canceled because "bitwuzla" failed.
|
|
formal verification tests (btormc)
The operation was canceled.
|