KCFG optimisation-on-creation #7124

Job	Run time
Java: Linting	1m 13s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.11)	1m 19s
Pyk: Code Quality & Unit Tests (3.12)	1m 24s
Pyk: Code Quality & Unit Tests (3.13)	2m 7s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	5m 2s
Pyk: Nix Build (ubuntu-latest)	48s
Pyk: Nix Build (macos-14)	1m 35s
K: Source Build & Test	18m 35s
K: Nix Build & Test (self-hosted, linux, normal)	4m 44s
K: Ubuntu Jammy Package	17m 28s
K: Nix Build & Test (MacM1, self-macos-12)	27m 18s
Pyk: Profiling	2m 45s
Pyk: Regression Tests	17m 47s
Pyk: Integration Tests	18m 26s
Pyk: Documentation	1m 52s
	2h 3m 50s

Provide feedback