Skip to content

Contract: Add invariant contract #46

Contract: Add invariant contract

Contract: Add invariant contract #46

Triggered via pull request August 16, 2024 16:15
Status Success
Total duration 1h 7m 29s
Artifacts 22

ci-pr.yml

on: pull_request
Matrix: tests-some
Matrix: tests-full
Fit to window
Zoom out
Zoom in

Annotations

5 warnings and 12 notices
tests-full (nitcs)
No files were found with the provided path: tests/out/*.res`. No artifacts will be uploaded.
tests-full (nitce)
No files were found with the provided path: tests/out/*.res`. No artifacts will be uploaded.
tests-full (niti)
No files were found with the provided path: tests/out/*.res`. No artifacts will be uploaded.
tests-full (nitcg)
No files were found with the provided path: tests/out/*.res`. No artifacts will be uploaded.
tests-full (nitcsg)
No files were found with the provided path: tests/out/*.res`. No artifacts will be uploaded.
543 skipped tests found
There are 543 skipped tests, see "Raw output" for the full list of skipped tests.
14227 tests found (test 1 to 1371)
There are 14227 tests, see "Raw output" for the list of tests 1 to 1371.
14227 tests found (test 1372 to 2554)
There are 14227 tests, see "Raw output" for the list of tests 1372 to 2554.
14227 tests found (test 2555 to 3881)
There are 14227 tests, see "Raw output" for the list of tests 2555 to 3881.
14227 tests found (test 3882 to 5203)
There are 14227 tests, see "Raw output" for the list of tests 3882 to 5203.
14227 tests found (test 5204 to 6522)
There are 14227 tests, see "Raw output" for the list of tests 5204 to 6522.
14227 tests found (test 6523 to 7867)
There are 14227 tests, see "Raw output" for the list of tests 6523 to 7867.
14227 tests found (test 7868 to 9186)
There are 14227 tests, see "Raw output" for the list of tests 7868 to 9186.
14227 tests found (test 9187 to 10503)
There are 14227 tests, see "Raw output" for the list of tests 9187 to 10503.
14227 tests found (test 10504 to 11795)
There are 14227 tests, see "Raw output" for the list of tests 10504 to 11795.
14227 tests found (test 11796 to 13138)
There are 14227 tests, see "Raw output" for the list of tests 11796 to 13138.
14227 tests found (test 13139 to 14227)
There are 14227 tests, see "Raw output" for the list of tests 13139 to 14227.

Artifacts

Produced during runtime
Name Size
Event File Expired
4.62 KB
bench-fast Expired
235 KB
bin Expired
96.7 MB
nitunit-full Expired
95.1 KB
nitunit-some Expired
12.6 KB
test-contrib Expired
39.7 KB
tests-full-nitce Expired
42.3 KB
tests-full-nitcg Expired
41.1 KB
tests-full-nitcs Expired
42.6 KB
tests-full-nitcsg Expired
42.7 KB
tests-full-niti Expired
16.8 KB
tests-some-nitce Expired
836 Bytes
tests-some-nitce-res Expired
5.71 KB
tests-some-nitcg Expired
829 Bytes
tests-some-nitcg-res Expired
5.53 KB
tests-some-nitcs Expired
829 Bytes
tests-some-nitcs-res Expired
5.75 KB
tests-some-nitcsg Expired
824 Bytes
tests-some-nitcsg-res Expired
5.75 KB
tests-some-niti Expired
508 Bytes
tests-some-niti-res Expired
5.75 KB
valgrind Expired
1 MB