Skip to content
CI

Add namespacing #2067

Sign in to view logs

Add namespacing

Add namespacing #2067

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linting (ubuntu-latest)
1m 14s
Linting (ubuntu-latest)
1m 14s
Compiler tests (aarch64)
2m 40s
Compiler tests (aarch64)
2m 40s
Quickcheck (aarch64)
39s
Quickcheck (aarch64)
39s
Compiler tests (x86_64)
3m 14s
Compiler tests (x86_64)
3m 14s
Quickcheck (x86_64)
35s
Quickcheck (x86_64)
35s
Functional tests (MacOS)
3m 37s
Functional tests (MacOS)
3m 37s
Functional tests (ubuntu-latest (aarch64))
11m 29s
Functional tests (ubuntu-latest (aarch64))
11m 29s
Functional tests (ubuntu-latest (x86_64))
6m 26s
Functional tests (ubuntu-latest (x86_64))
6m 26s
cbmc / Start CBMC (c7g.4xlarge)
2m 3s
cbmc / Start CBMC (c7g.4xlarge)
2m 3s
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
6m 12s
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
2m 2s
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
6m 22s
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
1m 57s
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
1m 31s
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
1m 31s
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
1m 39s
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
1m 39s
Functional tests (Graviton3 (c7g.medium)) / tests
3m 24s
Functional tests (Graviton3 (c7g.medium)) / tests
3m 24s
Functional tests (Intel Xeon 4th gen (t3)) / tests
4m 40s
Functional tests (Intel Xeon 4th gen (t3)) / tests
4m 40s
cbmc / tests
6m 45s
cbmc / tests
6m 45s
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
3s
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
3s
Functional tests (AMD EPYC 4th gen (t3a)) / tests
0s
Functional tests (AMD EPYC 4th gen (t3a)) / tests
4m 55s
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
8s
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
5s
Functional tests (Graviton2 (c6g.medium)) / tests
0s
Functional tests (Graviton2 (c6g.medium)) / tests
3m 49s
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
5s
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
4s
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
4s
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
4s
cbmc / Stop CBMC (c7g.4xlarge)
4s
cbmc / Stop CBMC (c7g.4xlarge)
4s
2h 5m 53s