continuous integration (mathlib forks)

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for `sum (fun n : ℕ ↦ x ^ n)` #256549

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style (fork)	2m 17s
Build (fork)	40m 42s
Post-Build Step (fork)	3m 41s
Post-CI job (fork)	8s
	46m 48s

⚡