Skip to content
libvsync actions

add svcomp support #90

Sign in to view logs

add svcomp support

add svcomp support #90

Triggered via push December 13, 2024 10:37
@lilith218lilith218
pushed 13c4237
pre-release-4.0.2
Status Success
Total duration 12m 3s
Artifacts 11

actions.yml

on: push
Matrix: Run-Checks
Matrix: Run-Format-Checks
Matrix: Run-Tests
Generate-Report
3s
Generate-Report
Fit to window
Zoom out
Zoom in

Annotations

18 warnings
Run-Format-Checks (clang-format-apply)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Format-Checks (vatomic-generate)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (test, quack)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, thread)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Format-Checks (vatomic-test-generate)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Tests (-DLIBVSYNC_ADDRESS_SANITIZER=on, verify)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, stack)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Tests (-DLIBVSYNC_ADDRESS_SANITIZER=off, verify)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, simpleht)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, bitmap)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, listset)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, unbounded_queue)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Tests (-DLIBVSYNC_ADDRESS_SANITIZER=off, test)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (test, queue)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (verify, treeset)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Tests (-DLIBVSYNC_ADDRESS_SANITIZER=on, test)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run-Checks (test, spinlock)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Generate-Report
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
check-report-bitmap
512 Bytes
check-report-listset
1.42 KB
check-report-quack
383 Bytes
check-report-queue
497 Bytes
check-report-simpleht
494 Bytes
check-report-spinlock
1.14 KB
check-report-stack
790 Bytes
check-report-thread
515 Bytes
check-report-treeset
2.08 KB
check-report-unbounded_queue
1018 Bytes
verification_report.csv
15.1 KB