Kim Morrison 5017b2bfbf chore: Mathlib's lean-pr-testing-NNNN branches should use Batteries' lean-pr-testing-NNNN branches (#5444) ... The problem here was that in Mathlib's `lean-pr-testing-NNNN` branches, we were setting Batteries to a `nightly-testing-YYYY-MM-DD` branch. This means that when we merge or rebase a new `nightly-with-mathlib` into a Lean PR, the corresponding Mathlib testing branch would keep using an old version of Batteries. We also make sure to bump Batteries if Mathlib's `lean-pr-testing-NNNN` branch already exists.		2024-09-24 01:33:38 +00:00
..
actionlint.yml	chore: bump actions/checkout and actions/upload-artifacts (#4664)	2024-07-07 20:26:59 +00:00
backport.yml	chore: CI: add backport action	2023-09-25 11:33:14 +02:00
check-prelude.yml	chore: CI: typo	2024-02-23 18:23:00 +01:00
check-stage0.yml	chore: ci to set “changes-stage0” label (#3979)	2024-04-24 07:08:34 +00:00
ci.yml	chore: fix spelling mistakes in non-Lean files (#5430)	2024-09-23 21:11:20 +00:00
copyright-header.yml	feat: trace.profiler export to Firefox Profiler (#3801)	2024-04-15 12:13:14 +00:00
jira.yml	chore: CI: Jira sync	2024-07-24 19:52:55 +02:00
labels-from-comments.yml	feat: allow addition of release-ci label via comment (#5343)	2024-09-14 08:13:48 +00:00
nix-ci.yml	feat: use save-always in cache action (#5010)	2024-08-13 09:27:15 +00:00
pr-release.yml	chore: Mathlib's lean-pr-testing-NNNN branches should use Batteries' lean-pr-testing-NNNN branches (#5444)	2024-09-24 01:33:38 +00:00
pr-title.yml	chore: CI: update github-script (#3002)	2023-12-01 08:39:51 +00:00
restart-on-label.yml	chore: restart-on-label: Also filter by commit SHA (#5099)	2024-08-20 07:45:43 +00:00
stale.yml	chore: activate stale PR labeler	2023-09-20 09:18:46 +02:00
update-stage0.yml	chore: upgrade cache action to silence warnings (#5003)	2024-08-12 15:46:53 +00:00