6b3c8b9f6b
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.) |
||
---|---|---|
.. | ||
coveralls.yml | ||
cron-daily-kani.yml | ||
cron-daily-update-nightly.yml | ||
cron-weekly-rustfmt.yml | ||
fuzz.yml | ||
gh-release.yml | ||
manage-pr.yml | ||
release.yml | ||
rust.yml |