[TEST] CBMC proof brittleness #2955
hanno-beckerall.yml
on: pull_request
CBMC
/
...
/
Start instance (r8g.xlarge)
1m 4s
CBMC
/
...
/
Start instance (r8g.xlarge)
1m 3s
CBMC
/
...
/
Start instance (r8g.xlarge)
1m 6s
Base
/
x86_64 Intel syntax
2m 44s
Matrix: Base / Examples
Matrix: Base / Linting
Matrix: Base / quickcheck-acvp
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
CBMC
/
...
/
Stop instance (r8g.xlarge)
8s
CBMC
/
...
/
Stop instance (r8g.xlarge)
5s
CBMC
/
...
/
Stop instance (r8g.xlarge)
7s
Annotations
3 errors
|
CBMC / CBMC (ML-KEM-512) / Run tests
The self-hosted runner lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
CBMC / CBMC (ML-KEM-768) / Run tests
The self-hosted runner lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
CBMC / CBMC (ML-KEM-1024) / Run tests
The self-hosted runner lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|