Update Mathlib/RingTheory/LocalProperties/Projective.lean #146294
build_fork.yml
on: push
Cancel Previous Runs (CI)
7s
Post-CI job (fork)
0s