Skip to content
CBMC

CBMC #30

Sign in to view logs

CBMC

CBMC #30

Manually triggered August 14, 2025 03:32
@hanno-beckerhanno-becker
⁠ d20b7e0
runtime_dispatch_test
Status Cancelled
Total duration 41m 4s
Artifacts –

cbmc.yml

on: workflow_dispatch
CBMC (ML-KEM-512)  /  Start instance (c7g.4xlarge)
1m 16s
CBMC (ML-KEM-512) / Start instance (c7g.4xlarge)
CBMC (ML-KEM-768)  /  Start instance (c7g.4xlarge)
1m 11s
CBMC (ML-KEM-768) / Start instance (c7g.4xlarge)
CBMC (ML-KEM-1024)  /  Start instance (c7g.4xlarge)
1m 13s
CBMC (ML-KEM-1024) / Start instance (c7g.4xlarge)
CBMC (ML-KEM-512)  /  Run tests
39m 31s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
39m 35s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
39m 35s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.4xlarge)
4s
CBMC (ML-KEM-512) / Stop instance (c7g.4xlarge)
CBMC (ML-KEM-768)  /  Stop instance (c7g.4xlarge)
7s
CBMC (ML-KEM-768) / Stop instance (c7g.4xlarge)
CBMC (ML-KEM-1024)  /  Stop instance (c7g.4xlarge)
4s
CBMC (ML-KEM-1024) / Stop instance (c7g.4xlarge)
Fit to window
Zoom out
Zoom in

Annotations

10 errors
CBMC (ML-KEM-768) / Run tests
The operation was canceled.
CBMC (ML-KEM-768) / Run tests
The run was canceled by @hanno-becker.
CBMC (ML-KEM-1024) / Run tests
The operation was canceled.
CBMC (ML-KEM-1024) / Run tests
The run was canceled by @hanno-becker.
CBMC (ML-KEM-512) / Run tests
The operation was canceled.
CBMC (ML-KEM-512) / Run tests
The run was canceled by @hanno-becker.
CBMC
The run was canceled by @hanno-becker.
CBMC
The run was canceled by @hanno-becker.
CBMC
The run was canceled by @hanno-becker.
CBMC
The run was canceled by @hanno-becker.