diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/nightly-rust-update.yml | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/.github/workflows/nightly-rust-update.yml b/.github/workflows/nightly-rust-update.yml deleted file mode 100644 index 00ff6e6..0000000 --- a/.github/workflows/nightly-rust-update.yml +++ /dev/null @@ -1,27 +0,0 @@ -name: Update Rust nightly -on: - workflow_dispatch: - schedule: - # Nothing magic here, I just wanted to avoid the midnight thundering - # herd on the first of each month. - - cron: '0 5 8 * *' - -jobs: - nightly-update: - name: Update Rust nightly - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - run: tools/update-nightly - - run: tools/install-tool-dependencies - - run: tools/checks - - uses: peter-evans/create-pull-request@v3 - with: - commit-message: Update Rust nightly version. - branch: rust-nightly-update - title: Update Rust nightly version - body: | - If these changes look good, merge this pull request to - update to the latest Nightly as of today. - - Automatically generated by the nightly-rust-update workflow. |