Skip to content
CI

Adjust makefile for support -flto in nix shell #2733

Sign in to view logs

Adjust makefile for support -flto in nix shell

Adjust makefile for support -flto in nix shell #2733

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linting (ubuntu-latest)
1m 20s
Quickcheck windows-latest
36s
Compiler tests (aarch64)
2m 42s
Quickcheck (aarch64)
59s
Compiler tests (x86_64)
3m 37s
Quickcheck (x86_64)
56s
Functional tests (MacOS)
4m 25s
Functional tests (ubuntu-latest (aarch64))
18m 32s
Functional tests (ubuntu-latest (x86_64))
11m 25s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 14s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 43s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 41s
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
1m 36s
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
1m 51s
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
1m 48s
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
1m 21s
cbmc_k2 / tests
8m 30s
Functional tests (Intel Xeon 4th gen (t3)) / tests
4m 48s
Functional tests (AMD EPYC 4th gen (t3a)) / tests
4m 51s
cbmc_k4 / tests
7m 47s
cbmc_k3 / tests
10m 28s
Functional tests (Graviton3 (c7g.medium)) / tests
3m 34s
Functional tests (Graviton2 (c6g.medium)) / tests
4m 5s
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
3s
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
6s
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
4s
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
7s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
5s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
7s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
4s
1h 40m 25s