From 05642448379618633ccab9bc4fb1d3bc5734e357 Mon Sep 17 00:00:00 2001
From: DQ <DomenicQuirl@pm.me>
Date: Mon, 26 Apr 2021 09:11:59 +0200
Subject: [PATCH] Update CI MIRI flags, schedule CI only once a week

---
 .github/workflows/main.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 9d67e81..98bff53 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -6,7 +6,7 @@ on:
   pull_request:
   # Daily
   schedule:
-    - cron: "0 4 * * *"
+    - cron: "0 4 1/7 * *"
 
   # Allows to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -101,7 +101,9 @@ jobs:
         with:
           rust-version: nightly
           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:
     name: ${{ matrix.sanitizer }} sanitizer