Skip to content
Bench

Add first draft of "Proof Guide" document for review. #576

Sign in to view logs

Add first draft of "Proof Guide" document for review.

Add first draft of "Proof Guide" document for review. #576

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Arm Cortex-A72 (Raspberry Pi 4) benchmarks
3m 38s
Arm Cortex-A76 (Raspberry Pi 5) benchmarks
1m 8s
Arm Cortex-A55 (Snapdragon 888) benchmarks
3m 7s
AMD EPYC 4th gen (c7a) non-opt / Start AMD EPYC 4th gen (c7a) (c7a.medium)
1m 4s
AMD EPYC 3rd gen (c6a) non-opt / Start AMD EPYC 3rd gen (c6a) (c7a.medium)
1m 3s
Graviton2 non-opt / Start Graviton2 (t4g.small)
1m 4s
Graviton3 non-opt / Start Graviton3 (c7g.medium)
1m 7s
Graviton4 non-opt / Start Graviton4 (c8g.medium)
1m 3s
Intel Xeon 3rd gen (c6i) non-opt / Start Intel Xeon 3rd gen (c6i) (c7i.large)
1m 6s
Intel Xeon 4th gen (c7i) non-opt / Start Intel Xeon 4th gen (c7i) (c7i.large)
1m 23s
AMD EPYC 3rd gen (c6a) opt / Start AMD EPYC 3rd gen (c6a) (c7a.medium)
1m 2s
AMD EPYC 4th gen (c7a) opt / Start AMD EPYC 4th gen (c7a) (c7a.medium)
1m 2s
Graviton3 opt / Start Graviton3 (c7g.medium)
1m 7s
Graviton2 opt / Start Graviton2 (t4g.small)
1m 3s
Graviton4 opt / Start Graviton4 (c8g.medium)
1m 17s
Intel Xeon 3rd gen (c6i) opt / Start Intel Xeon 3rd gen (c6i) (c7i.large)
1m 2s
Intel Xeon 4th gen (c7i) opt / Start Intel Xeon 4th gen (c7i) (c7i.large)
1m 4s
Graviton4 non-opt / Bench (custom compiler)
0s
Graviton4 non-opt / Bench (nix)
2m 40s
AMD EPYC 4th gen (c7a) opt / Bench (nix)
1m 39s
AMD EPYC 4th gen (c7a) opt / Bench (custom compiler)
0s
AMD EPYC 3rd gen (c6a) opt / Bench (nix)
1m 39s
AMD EPYC 3rd gen (c6a) opt / Bench (custom compiler)
0s
Graviton2 opt / Bench (nix)
3m 16s
Graviton2 opt / Bench (custom compiler)
0s
AMD EPYC 4th gen (c7a) non-opt / Bench (nix)
2m 27s
AMD EPYC 4th gen (c7a) non-opt / Bench (custom compiler)
0s
Graviton2 non-opt / Bench (nix)
4m 2s
Graviton2 non-opt / Bench (custom compiler)
0s
AMD EPYC 3rd gen (c6a) non-opt / Bench (custom compiler)
0s
AMD EPYC 3rd gen (c6a) non-opt / Bench (nix)
4m 29s
Intel Xeon 3rd gen (c6i) opt / Bench (custom compiler)
0s
Intel Xeon 3rd gen (c6i) opt / Bench (nix)
1m 29s
Intel Xeon 4th gen (c7i) opt / Bench (custom compiler)
0s
Intel Xeon 4th gen (c7i) opt / Bench (nix)
1m 29s
Intel Xeon 3rd gen (c6i) non-opt / Bench (custom compiler)
0s
Intel Xeon 3rd gen (c6i) non-opt / Bench (nix)
2m 9s
Graviton3 non-opt / Bench (custom compiler)
0s
Graviton3 non-opt / Bench (nix)
3m 23s
Graviton3 opt / Bench (custom compiler)
0s
Graviton3 opt / Bench (nix)
2m 3s
Graviton4 opt / Bench (custom compiler)
0s
Graviton4 opt / Bench (nix)
2m 24s
Intel Xeon 4th gen (c7i) non-opt / Bench (custom compiler)
0s
Intel Xeon 4th gen (c7i) non-opt / Bench (nix)
1m 55s
Intel Xeon 3rd gen (c6i) opt / Stop Intel Xeon 3rd gen (c6i) (c7i.large)
3s
Intel Xeon 4th gen (c7i) opt / Stop Intel Xeon 4th gen (c7i) (c7i.large)
5s
AMD EPYC 4th gen (c7a) opt / Stop AMD EPYC 4th gen (c7a) (c7a.medium)
9s
AMD EPYC 3rd gen (c6a) opt / Stop AMD EPYC 3rd gen (c6a) (c7a.medium)
6s
Graviton3 opt / Stop Graviton3 (c7g.medium)
5s
Intel Xeon 3rd gen (c6i) non-opt / Stop Intel Xeon 3rd gen (c6i) (c7i.large)
10s
Intel Xeon 4th gen (c7i) non-opt / Stop Intel Xeon 4th gen (c7i) (c7i.large)
5s
AMD EPYC 4th gen (c7a) non-opt / Stop AMD EPYC 4th gen (c7a) (c7a.medium)
4s
Graviton4 non-opt / Stop Graviton4 (c8g.medium)
8s
Graviton4 opt / Stop Graviton4 (c8g.medium)
8s
Graviton2 opt / Stop Graviton2 (t4g.small)
9s
Graviton3 non-opt / Stop Graviton3 (c7g.medium)
7s
Graviton2 non-opt / Stop Graviton2 (t4g.small)
5s
AMD EPYC 3rd gen (c6a) non-opt / Stop AMD EPYC 3rd gen (c6a) (c7a.medium)
4s
59m 52s