continuous integration (staging)

refactor(LinearAlgebra,RingTheory): Replace `Fintype.card` with `Nat.… #8889

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	35m 48s
Cancel Previous Runs (CI)	5s
check workflows	9s
Lint style	42s
Post-CI job	9s
	36m 53s