Skip to content
Build matrix

checkpoint #42

Sign in to view logs

checkpoint

checkpoint #42

Triggered via push July 26, 2024 13:00
@trdthgtrdthg
pushed 95220a0
mapping-match-complete
Status Success
Total duration 11m 24s
Artifacts –

build.yml

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

Annotations

21 errors, 9 warnings, and 1 notice
mapping_let.sail with error: /#L0
./pattern_completeness/tests.xml
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
All 3 runs with error: mapping_rreg.sail: /#L0
./lem/tests.xml ./typecheck/tests.xml
1 out of 3 runs with error: bool_mapping2.sail: /#L0
./typecheck/tests.xml
issue243.sail with error: /#L0
./typecheck/tests.xml
All 2 runs with error: encdec.sat.sail: /#L0
./smt/tests.xml
All 6 runs with error: two_mapping.sail: /#L0
./c/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 (4.08.1, ubuntu-latest)
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/
build (5.0.0, ubuntu-latest)
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/
build (5.0.0, macOS-latest)
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/
build (5.0.0, macOS-latest)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
build (5.0.0, macOS-latest)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
build (macos-12, 4.08.1)
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/
build (macos-12, 4.08.1)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
build (macos-12, 4.08.1)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
build (macos-12, 4.08.1)
zlib 1.3.1 is already installed and up-to-date. To reinstall 1.3.1, run: brew reinstall zlib
658 tests found
There are 658 tests, see "Raw output" for the full list of tests.