Skip to content
CBMC

Revert using workflow_run #14

Sign in to view logs

Revert using workflow_run

Revert using workflow_run #14

Triggered via pull request February 26, 2025 11:27
@hanno-beckerhanno-becker
synchronize #814
revert-workflow-run
Status Cancelled
Total duration 2m 18s
Artifacts –

cbmc.yml

on: pull_request
CBMC (ML-KEM-512)  /  Start instance (c7g.2xlarge)
1m 11s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Start instance (c7g.2xlarge)
1m 1s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Start instance (c7g.2xlarge)
1m 7s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-512)  /  Run tests
28s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
27s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
24s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

3 errors
CBMC (ML-KEM-768) / Run tests
Canceling since a higher priority waiting request for 'CBMC-refs/pull/814/merge' exists
CBMC (ML-KEM-1024) / Run tests
Canceling since a higher priority waiting request for 'CBMC-refs/pull/814/merge' exists
CBMC (ML-KEM-512) / Run tests
Canceling since a higher priority waiting request for 'CBMC-refs/pull/814/merge' exists