Skip to content
Bench

Merge pull request #458 from pq-code-package/cbmc_formatting #834

Sign in to view logs

Merge pull request #458 from pq-code-package/cbmc_formatting

Merge pull request #458 from pq-code-package/cbmc_formatting #834

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Arm Cortex-A72 (Raspberry Pi 4) benchmarks
7m 19s
Arm Cortex-A76 (Raspberry Pi 5) benchmarks
3m 1s
Arm Cortex-A55 (Snapdragon 888) benchmarks
6m 32s
AMD EPYC 3rd gen (c6a) / Start AMD EPYC 3rd gen (c6a) (c6a.large)
1m 32s
AMD EPYC 4th gen (c7a) / Start AMD EPYC 4th gen (c7a) (c7a.medium)
1m 36s
Graviton2 / Start Graviton2 (t4g.small)
1m 5s
Graviton3 / Start Graviton3 (c7g.medium)
1m 27s
Graviton4 / Start Graviton4 (c8g.medium)
2m 2s
Intel Xeon 3rd gen (c6i) / Start Intel Xeon 3rd gen (c6i) (c6i.large)
1m 26s
Intel Xeon 4th gen (c7i) / Start Intel Xeon 4th gen (c7i) (c7i.metal-24xl)
1m 34s
Graviton2 / Bench (custom compiler)
0s
Graviton2 / Bench (nix)
10m 18s
Intel Xeon 3rd gen (c6i) / Bench (custom compiler)
0s
Intel Xeon 3rd gen (c6i) / Bench (nix)
5m 24s
Graviton3 / Bench (custom compiler)
0s
Graviton3 / Bench (nix)
8m 26s
AMD EPYC 3rd gen (c6a) / Bench (nix)
5m 52s
AMD EPYC 3rd gen (c6a) / Bench (custom compiler)
0s
AMD EPYC 4th gen (c7a) / Bench (nix)
6m 44s
AMD EPYC 4th gen (c7a) / Bench (custom compiler)
0s
Intel Xeon 4th gen (c7i) / Bench (nix)
4m 49s
Intel Xeon 4th gen (c7i) / Bench (custom compiler)
0s
Graviton4 / Bench (nix)
8m 16s
Graviton4 / Bench (custom compiler)
0s
Intel Xeon 4th gen (c7i) / Stop Intel Xeon 4th gen (c7i) (c7i.metal-24xl)
5s
Intel Xeon 3rd gen (c6i) / Stop Intel Xeon 3rd gen (c6i) (c6i.large)
3s
AMD EPYC 3rd gen (c6a) / Stop AMD EPYC 3rd gen (c6a) (c6a.large)
3s
AMD EPYC 4th gen (c7a) / Stop AMD EPYC 4th gen (c7a) (c7a.medium)
7s
Graviton3 / Stop Graviton3 (c7g.medium)
6s
Graviton4 / Stop Graviton4 (c8g.medium)
7s
Graviton2 / Stop Graviton2 (t4g.small)
8s
1h 18m 2s