continuous integration (staging)

feat(Data/Nat/Factorization/PrimePow): add equivalence Primes × ℕ ≃ P… #12131

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	34s
Cancel Previous Runs (CI)	4s
Build	10m 28s
Post-CI job	12s
	11m 18s