Generate `lake` project #7247

Job	Run time
Java: Linting	1m 18s
Java: Linting	1m 18s
Pyk: Code Quality & Unit Tests (3.10)	1m 36s
Pyk: Code Quality & Unit Tests (3.10)	1m 36s
Pyk: Code Quality & Unit Tests (3.11)	1m 20s
Pyk: Code Quality & Unit Tests (3.11)	1m 20s
Pyk: Code Quality & Unit Tests (3.12)	1m 21s
Pyk: Code Quality & Unit Tests (3.12)	1m 21s
Pyk: Code Quality & Unit Tests (3.13)	1m 57s
Pyk: Code Quality & Unit Tests (3.13)	1m 57s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	3m 44s
K: Ubuntu Jammy Frontend Package	3m 44s
K: Ubuntu Jammy Package	19m 23s
K: Ubuntu Jammy Package	19m 23s
K: Source Build & Test	12m 19s
K: Source Build & Test	12m 19s
Pyk: Nix Build (ubuntu-24.04)	1m 26s
Pyk: Nix Build (ubuntu-24.04)	1m 26s
Pyk: Nix Build (macos-14)	2m 25s
Pyk: Nix Build (macos-14)	2m 25s
K: Nix Build & Test (self-hosted, linux, normal)	4m 20s
K: Nix Build & Test (self-hosted, linux, normal)	4m 29s
K: Nix Build & Test (MacM1, self-macos-12)	25m 17s
K: Nix Build & Test (MacM1, self-macos-12)	25m 17s
Pyk: Regression Tests	17m 55s
Pyk: Regression Tests	17m 55s
Pyk: Integration Tests	13m 39s
Pyk: Integration Tests	13m 39s
Pyk: Documentation	4m 9s
Pyk: Documentation	4m 9s
Pyk: Profiling	3m 1s
Pyk: Profiling	3m 1s
	3h 50m 31s

Provide feedback