Generate Lean 4 type definitions from a KORE definition #7173

Job	Run time
Java: Linting	1m 19s
Java: Linting	1m 19s
Pyk: Code Quality & Unit Tests (3.10)	1m 31s
Pyk: Code Quality & Unit Tests (3.10)	1m 31s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.12)	1m 22s
Pyk: Code Quality & Unit Tests (3.12)	1m 22s
Pyk: Code Quality & Unit Tests (3.13)	2m 6s
Pyk: Code Quality & Unit Tests (3.13)	2m 6s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	5m 5s
K: Ubuntu Jammy Frontend Package	5m 5s
K: Source Build & Test	4m 11s
K: Source Build & Test	25m 32s
Pyk: Nix Build (ubuntu-24.04)	44s
Pyk: Nix Build (ubuntu-24.04)	44s
K: Nix Build & Test (self-hosted, linux, normal)	5m 54s
K: Nix Build & Test (self-hosted, linux, normal)	5m 54s
Pyk: Nix Build (macos-14)	1m 45s
Pyk: Nix Build (macos-14)	1m 45s
K: Nix Build & Test (MacM1, self-macos-12)	25m 4s
K: Nix Build & Test (MacM1, self-macos-12)	25m 4s
K: Ubuntu Jammy Package	19m 59s
K: Ubuntu Jammy Package	19m 59s
Pyk: Regression Tests	17m 44s
Pyk: Regression Tests	17m 44s
Pyk: Profiling	4m 8s
Pyk: Profiling	4m 8s
Pyk: Integration Tests	30m 16s
Pyk: Integration Tests	16m 20s
Pyk: Documentation	4m 19s
Pyk: Documentation	4m 19s
	4h 20m 57s

Provide feedback