Skip to content
CI

Add copyright header to all files and add linting #2806

Sign in to view logs

Add copyright header to all files and add linting

Add copyright header to all files and add linting #2806

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compiler tests (aarch64)
2m 55s
Compiler tests (aarch64)
2m 55s
Compiler tests (x86_64)
3m 22s
Compiler tests (x86_64)
3m 22s
Linting (ubuntu-latest)
1m 23s
Linting (ubuntu-latest)
1m 23s
Quickcheck (aarch64)
2m 0s
Quickcheck (aarch64)
2m 0s
Quickcheck (x86_64)
1m 6s
Quickcheck (x86_64)
1m 6s
Quickcheck windows-latest
42s
Quickcheck windows-latest
42s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))
4m 49s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))
4m 49s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
3m 44s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
3m 44s
Functional tests (MacOS)
5m 20s
Functional tests (MacOS)
5m 20s
Functional tests (ubuntu-latest (aarch64))
18m 31s
Functional tests (ubuntu-latest (aarch64))
18m 31s
Functional tests (ubuntu-latest (x86_64))
11m 17s
Functional tests (ubuntu-latest (x86_64))
11m 17s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 11s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 11s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 1s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 1s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 1s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 1s
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
2m 3s
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
2m 3s
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
1m 6s
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
1m 6s
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
1m 21s
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
1m 21s
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
2m 42s
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
2m 42s
cbmc_k4 / tests
2h 37m 23s
cbmc_k4 / tests
1s
cbmc_k3 / tests
6m 53s
cbmc_k3 / tests
6m 53s
Functional tests (Graviton2 (c6g.medium)) / tests
4m 13s
Functional tests (Graviton2 (c6g.medium)) / tests
4m 13s
cbmc_k2 / tests
7m 38s
cbmc_k2 / tests
7m 38s
Functional tests (Graviton3 (c7g.medium)) / tests
3m 29s
Functional tests (Graviton3 (c7g.medium)) / tests
3m 29s
Functional tests (AMD EPYC 4th gen (t3a)) / tests
4m 52s
Functional tests (AMD EPYC 4th gen (t3a)) / tests
4m 52s
Functional tests (Intel Xeon 4th gen (t3)) / tests
4m 58s
Functional tests (Intel Xeon 4th gen (t3)) / tests
4m 58s
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
4s
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
4s
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
7s
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
7s
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
3s
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
3s
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
11s
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
11s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
4s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
4s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
8s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
8s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
3s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
6s
5h 54m 1s