Skip to content
Check formatting

Fix some more tests #1312

Sign in to view logs

Fix some more tests

Fix some more tests #1312

Triggered via push September 25, 2024 01:04
@AlasdairAlasdair
pushed 5e9a5fb
bvnat
Status Success
Total duration 59s
Artifacts –

formatting.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

12 errors, 1 warning, and 2 notices
1 out of 3 runs with error: tuple_bitvector_int_pat3.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: sizeof_fixed.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: fpthreesimp.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: tuple_bitvector_int_pat.sail: /#L0
./lem/tests.xml
All 3 runs with error: type_pow_zero.sail: /#L0
./lem/tests.xml ./typecheck/tests.xml
1 out of 3 runs with error: tuple_bitvector_int_pat2.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: tuple_bitvector_int_pat3.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: sizeof_fixed.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: fpthreesimp.sail: /#L0
./lem/tests.xml
1 out of 3 runs with error: tuple_bitvector_int_pat.sail: /#L0
./lem/tests.xml
All 3 runs with error: type_pow_zero.sail: /#L0
./lem/tests.xml ./typecheck/tests.xml
1 out of 3 runs with error: tuple_bitvector_int_pat2.sail: /#L0
./lem/tests.xml
build (5.0.0, ubuntu-latest, 0.26.0)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
697 tests found
There are 697 tests, see "Raw output" for the full list of tests.
697 tests found
There are 697 tests, see "Raw output" for the full list of tests.