RGBCube/cstree
1
Fork 0
mirror of https://github.com/RGBCube/cstree synced 2025-07-27 09:07:44 +00:00
Code Issues Activity

Update CI MIRI flags, schedule CI only once a week

Browse source
This commit is contained in:
DQ 2021-04-26 09:11:59 +02:00 • committed by GitHub
parent 987774d2a5
commit 0564244837
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/main.yml vendored
View file

@ -6,7 +6,7 @@ on:
pull_request: pull_request:
# Daily # Daily
schedule: schedule:
- cron: "0 4 * * *" - cron: "0 4 1/7 * *"
# Allows to run this workflow manually from the Actions tab # Allows to run this workflow manually from the Actions tab
workflow_dispatch: workflow_dispatch:
@ -101,7 +101,9 @@ jobs:
with: with:
rust-version: nightly rust-version: nightly
components: miri components: miri
- run: cargo miri test --verbose --all-features -- -Zmiri-disable-isolation env:
MIRIFLAGS: -Zmiri-disable-isolation
- run: cargo miri test --verbose --all-features
sanitizers: sanitizers:
name: ${{ matrix.sanitizer }} sanitizer name: ${{ matrix.sanitizer }} sanitizer