Proof container proof type #5497

Job	Run time
Java: Linting	1m 18s
Pyk: Documentation	52s
Pyk: Code Quality & Unit Tests (3.10)	1m 17s
Pyk: Code Quality & Unit Tests (3.11)	1m 12s
Pyk: Code Quality & Unit Tests (3.12)	1m 16s
Code Quality Checks	1s
Pyk: Nix Build (ubuntu-latest)	36s
K: Source Build & Test	29m 14s
Pyk: Nix Build (macos-13)	1m 38s
K: Ubuntu Jammy Package	35m 15s
K: Nix Build & Test (self-hosted, linux, normal)	6m 11s
K: Nix Build & Test (macos-13, macos-13)	12m 45s
K: Nix Build & Test (MacM1, self-macos-12)	6m 16s
K: Profiling	10m 6s
Pyk: Regression Tests	17m 25s
Pyk: Profiling	5m 6s
Pyk: Integration Tests	18m 26s
	2h 28m 54s

Provide feedback