Skip to content
CBMC

CI: Split ci.yml in three workflows #7

Sign in to view logs

CI: Split ci.yml in three workflows

CI: Split ci.yml in three workflows #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
1m 23s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
1m 21s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
1m 30s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
1m 30s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
1m 4s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
1m 4s
CBMC (ML-KEM-1024) / Run tests
7m 4s
CBMC (ML-KEM-1024) / Run tests
7m 4s
CBMC (ML-KEM-512) / Run tests
17m 31s
CBMC (ML-KEM-512) / Run tests
6m 44s
CBMC (ML-KEM-768) / Run tests
6m 27s
CBMC (ML-KEM-768) / Run tests
6m 27s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
6s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
6s
59m 35s