Scott Morrison 73b87f2558 chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag (#3199) ... As discussed during the FRO meeting 2024-01-18, we are changing the `nightly-testing-YYYY-MM-DD` branches at Std and Mathlib from branches to tags, in: * https://github.com/leanprover/std4/pull/545 * https://github.com/leanprover-community/mathlib4/pull/9842 This PR updates the script that creates the `lean-pr-testing-NNNN` branches at Mathlib so it is agnostic about whether `nightly-testing-YYYY-MM-DD` will be a branch or a tag. --------- Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>		2024-01-20 23:50:03 +00:00
..
actionlint.yml	chore: CI: add actionlint action, fix actions (#3156)	2024-01-15 17:53:04 +00:00
backport.yml	chore: CI: add backport action	2023-09-25 11:33:14 +02:00
ci.yml	chore: CI: add actionlint action, fix actions (#3156)	2024-01-15 17:53:04 +00:00
labels-from-comments.yml	chore: CI: update github-script (#3002)	2023-12-01 08:39:51 +00:00
nix-ci.yml	chore: Netlify deployment for manual (#3138)	2024-01-04 18:07:46 +00:00
pr-release.yml	chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag (#3199)	2024-01-20 23:50:03 +00:00
pr-title.yml	chore: CI: update github-script (#3002)	2023-12-01 08:39:51 +00:00
stale.yml	chore: activate stale PR labeler	2023-09-20 09:18:46 +02:00
update-stage0.yml	chore: allow updating stage0 via workflow_dispatch (#3052)	2023-12-14 22:46:32 +00:00