Skip to content
CI

CBMC: Prove mlkem_shake256_prf and mlkem_shake256_rkprf #3073

Sign in to view logs

CBMC: Prove mlkem_shake256_prf and mlkem_shake256_rkprf

CBMC: Prove mlkem_shake256_prf and mlkem_shake256_rkprf #3073

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linting (ubuntu-latest)
1m 27s
Quickcheck (aarch64)
52s
Quickcheck windows-latest
33s
Quickcheck C90 (aarch64)
1m 22s
Quickcheck (x86_64)
57s
Quickcheck C90 (x86_64)
57s
Functional tests (mac)
4m 8s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))
4m 30s
Functional tests (aarch64)
3m 21s
Compiler tests (aarch64)
2m 44s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
3m 47s
Functional tests (x86_64, cross)
5m 40s
Compiler tests (x86_64)
3m 26s
Functional tests (riscv64, cross)
3m 55s
Functional tests (x86_64)
3m 2s
Functional tests (aarch64, cross)
3m 38s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
1m 1s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
1m 12s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
1m 2s
Platform tests (AMD EPYC 4th gen (t3a)) / Start instance (t3a.small)
1m 32s
Platform tests (Graviton2 (c6g.medium)) / Start instance (c6g.medium)
1m 12s
Platform tests (Graviton3 (c7g.medium)) / Start instance (c7g.medium)
1m 2s
Platform tests (Intel Xeon 4th gen (t3)) / Start instance (t3.small)
1m 23s
CBMC (ML-KEM-768) / Run test
2m 33s
Platform tests (Graviton3 (c7g.medium)) / Run test
3m 15s
CBMC (ML-KEM-1024) / Run test
5m 0s
Platform tests (Graviton2 (c6g.medium)) / Run test
3m 41s
CBMC (ML-KEM-512) / Run test
3m 31s
Platform tests (Intel Xeon 4th gen (t3)) / Run test
3m 48s
Platform tests (AMD EPYC 4th gen (t3a)) / Run test
4m 27s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
4s
Platform tests (Graviton3 (c7g.medium)) / Stop instance (c7g.medium)
3s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
6s
Platform tests (Graviton2 (c6g.medium)) / Stop instance (c6g.medium)
3s
Platform tests (Intel Xeon 4th gen (t3)) / Stop instance (t3.small)
6s
Platform tests (AMD EPYC 4th gen (t3a)) / Stop instance (t3a.small)
4s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
6s
1h 19m 30s