Check workflows

feat(Algebra/RingTheory): Auslander–Buchsbaum–Serre criterion and its corollaries #4648

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
actionlint	21s
ensure-sha-pinned-actions	14s
	35s