diff options
| author | Ralf Jung <post@ralfj.de> | 2023-07-02 22:40:23 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-07-02 22:40:23 +0200 |
| commit | 4c7fbf818612e23e5b92c74264082d21fb4f3cb4 (patch) | |
| tree | 593003882aebd65ac388efa0fb9b7768f4aa6d2b | |
| parent | f0374712c4896e999492fff93e277ba9f218796d (diff) | |
| download | rust-4c7fbf818612e23e5b92c74264082d21fb4f3cb4.tar.gz rust-4c7fbf818612e23e5b92c74264082d21fb4f3cb4.zip | |
more CI yml cleanup
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index c83824963c9..84a27c33339 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -11,11 +11,14 @@ on: - 'master' schedule: - cron: '6 6 * * *' # At 6:06 UTC every day. - - cron: '22 * * * *' # Also each hour, for testing env: CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' +defaults: + run: + shell: bash + jobs: build: runs-on: ${{ matrix.os }} @@ -60,12 +63,9 @@ jobs: - name: Install rustup-toolchain-install-master if: ${{ steps.cache.outputs.cache-hit != 'true' }} - shell: bash - run: | - cargo install -f rustup-toolchain-install-master + run: cargo install -f rustup-toolchain-install-master - name: Install "master" toolchain - shell: bash run: | if [[ ${{ github.event_name }} == 'schedule' ]]; then echo "Building against latest rustc git version" @@ -80,7 +80,7 @@ jobs: cargo -V - name: Test - run: bash ./ci.sh + run: ./ci.sh style: name: style checks @@ -163,7 +163,6 @@ jobs: - name: Install zulip-send run: pip3 install zulip - name: Send Zulip notification - shell: bash env: ZULIP_BOT_EMAIL: ${{ secrets.ZULIP_BOT_EMAIL }} ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }} |