more CI yml cleanup
This commit is contained in:
parent
f0374712c4
commit
4c7fbf8186
1 changed files with 6 additions and 7 deletions
13
src/tools/miri/.github/workflows/ci.yml
vendored
13
src/tools/miri/.github/workflows/ci.yml
vendored
|
|
@ -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 }}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue