cf19e37785
CI: Update nightly semi-weekly
...
Updating the nightly toolchain every day is overly arduous, lets just
update it twice a week.
2024-05-06 09:17:59 +10:00
7d07fc3fb9
ci: update the new nightly_version file in cron
2024-04-07 15:16:09 +00:00
6b3c8b9f6b
ci: use personal access token for daily nightly update
...
The chatbot says this should cause CI to trigger on the nightly update
PRs. With the default token this does not happen because it has the
potential to cause recursive CI actions. (How this is avoided by using a
PAT, I don't know, but whatever.)
2024-03-07 14:46:16 +00:00
775d0c74cd
ci: change automatic CI bot committer name to something without special characters
2024-03-07 13:51:40 +00:00
aa8655552b
ci: change branch of nightly bot to not conflict with rustfmt bot
2024-03-07 13:51:40 +00:00
ee113aa91f
ci: add daily job to update nightly rustc
2024-02-28 20:47:39 +00:00
Tobin C. Harding
Andrew Poelstra