Expand CI #2061

Job	Run time
Quickcheck (aarch64)	1m 0s
Compiler tests (aarch64)	2m 33s
Linting (ubuntu-latest)	1m 12s
Quickcheck (x86_64)	33s
Compiler tests (x86_64)	3m 1s
Functional tests (MacOS)	3m 6s
Functional tests (ubuntu-latest (aarch64))	11m 13s
Functional tests (ubuntu-latest (x86_64))	6m 33s
cbmc / Start CBMC (c7g.4xlarge)	2m 32s
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)	1m 32s
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)	1m 31s
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)	1m 38s
Functional tests (Graviton3 (c7g.medium)) / tests	5m 58s
Functional tests (Graviton2 (c6g.medium)) / tests	6m 1s
Functional tests (AMD EPYC 4th gen (t3a)) / tests	4m 29s
Functional tests (Intel Xeon 4th gen (t3)) / tests	4m 24s
cbmc / tests	2m 53s
cbmc / Stop CBMC (c7g.4xlarge)	5s
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)	4s
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)	8s
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)	5s
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)	7s
	1h 1m 59s

Provide feedback