mathlib

6a7ddcc2 - ci(.github/workflows/{build,dependent-issues}.yml): auto-cancel workflows on previous commits (#7536)

ci(.github/workflows/{build,dependent-issues}.yml): auto-cancel workflows on previous commits (#7536) After this is merged, pushing a new commit to a branch in this repo should cancel the "continuous integration" and "dependent issues" workflows running on any older commits on that branch.