Skip to content
CBMC

Revert using workflow_run #14

Sign in to view logs

Revert using workflow_run

Revert using workflow_run #14

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
1m 11s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
1m 1s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
1m 7s
CBMC (ML-KEM-768) / Run tests
27s
CBMC (ML-KEM-1024) / Run tests
24s
CBMC (ML-KEM-512) / Run tests
28s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
3s
4m 48s