Skip to content

Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring #272

Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring

Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring #272

Triggered via pull request July 1, 2026 18:08
Status Success
Total duration 10m 36s
Artifacts 11

test-matrix.yml

on: pull_request
high-memory tests
0s
high-memory tests
Matrix: standard
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
prepare
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 11/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 9/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 5/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 10/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 4/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 6/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 3/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 1/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 2/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 7/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests 8/11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/checkout@v4, actions/upload-artifact@v4, matlab-actions/run-command@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
report
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
results-standard-shard-1
4.7 KB
sha256:2c378d69b1d7db8301c70aae1b9a9d1b487b8d9d885c60109eebcf7c11e772d2
results-standard-shard-10
7.02 KB
sha256:d3168ff38ff921b730c271018794a3fc5503a9215a35272ea75eed9c8d803491
results-standard-shard-11
6.94 KB
sha256:7f0071c993392e820b9332619ecb9d1e113806becadd2c7063984f4bb0c355c6
results-standard-shard-2
6.85 KB
sha256:77a514a8bfa7eaad7e171ab7056cd7abbd0c23bce19af4a049fa84576a5b5af6
results-standard-shard-3
6.71 KB
sha256:9d411336a6556ad7df3854462137aef416903bb5fff7eeab603c120686619a35
results-standard-shard-4
7.14 KB
sha256:c1e403d9ed4152ee936d12b1d960c06f70837b46d8f682b30cc9e2c4f6c89e5d
results-standard-shard-5
6.52 KB
sha256:a29fe80809454834b21bfc624c4a1525b2adbff1c60e92deb40540dcf9846076
results-standard-shard-6
6.57 KB
sha256:3fa9682f8d977e422ec324e963d1df79c56cb3fc5bde96d604db3817d662378c
results-standard-shard-7
6.93 KB
sha256:925d0b17926ec14a866e069c60a93e2c6e8a5c4312a9bafdf6f11fbe57c91f8f
results-standard-shard-8
7 KB
sha256:3d747b342cfb8498b8afb5232fdac6625cee638a2499c141b54a1463d091e2ff
results-standard-shard-9
7 KB
sha256:5a240e2b90e17942e8e0b2b294175c2d612f646dd567d804c372e835052b00ce