feat: bump to v4.22.0-rc3#30

Merged

Vtec234 merged 5 commits intosinhp:masterfrom

Vtec234:bump/v4.22.0-rc3

Aug 4, 2025

Commits on Jun 26, 2025

feat: bump to v4.21.0-rc3
Vtec234
committed

Commits on Jul 2, 2025

Commits on Jul 4, 2025

chore: bump to Lean v4.22.0-rc3
Vtec234
committed

Commits on Jul 5, 2025

chore: banish `by rfl`
Vtec234
committed