Skip to content
Check formatting

update warn msg and test case #53

Sign in to view logs

update warn msg and test case

update warn msg and test case #53

Triggered via push July 29, 2024 07:07
@trdthgtrdthg
pushed acb6251
mapping-match-complete
Status Success
Total duration 41s
Artifacts –

formatting.yml

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

Annotations

19 errors, 1 warning, and 1 notice
1 out of 3 runs with error: bool_mapping.sail: /#L0
./typecheck/tests.xml
1 out of 3 runs with error: mapping_clause.sail: /#L0
./typecheck/tests.xml
1 out of 3 runs with error: scattered_mapping_doc.sail: /#L0
./typecheck/tests.xml
1 out of 3 runs with error: mapping_rreg.sail: /#L0
./typecheck/tests.xml
1 out of 3 runs with error: bool_mapping2.sail: /#L0
./typecheck/tests.xml
All 2 runs with error: encdec.sat.sail: /#L0
./smt/tests.xml
warn_mapping_imcomplete.sail with error: /#L0
./pattern_completeness/tests.xml
All 6 runs with error: lib_hex_bits.sail: /#L0
./c/tests.xml
All 6 runs with error: encdec.sail: /#L0
./c/tests.xml
All 6 runs with error: rv_format.sail: /#L0
./c/tests.xml
All 6 runs with error: lib_valid_hex_bits.sail: /#L0
./c/tests.xml
All 6 runs with error: zeros_mapping.sail: /#L0
./c/tests.xml
All 6 runs with error: issue243_fixed.sail: /#L0
./c/tests.xml
All 6 runs with error: mapping_compose.sail: /#L0
./c/tests.xml
All 6 runs with error: issue232_2.sail: /#L0
./c/tests.xml
All 6 runs with error: issue232.sail: /#L0
./c/tests.xml
All 6 runs with error: lib_hex_bits_signed.sail: /#L0
./c/tests.xml
All 6 runs with error: rv_format2.sail: /#L0
./c/tests.xml
All 6 runs with error: poly_mapping2.sail: /#L0
./c/tests.xml
build (5.0.0, ubuntu-latest, 0.26.0)
The following actions uses Node.js version which is deprecated 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/
656 tests found
There are 656 tests, see "Raw output" for the full list of tests.