Scott Morrison c4bd112a7f chore: when bumping Mathlib testing branches, bump to latest nightly-testing (#2553)		2023-09-18 02:02:24 +00:00
..
ISSUE_TEMPLATE	chore: remove 'reproduces how often' field from bug template	2023-09-15 14:24:21 +02:00
workflows	chore: when bumping Mathlib testing branches, bump to latest nightly-testing (#2553)	2023-09-18 02:02:24 +00:00
PULL_REQUEST_TEMPLATE.md	feat: add labels from comments (#2460)	2023-08-29 14:09:20 +10:00