rm miri test from build action and add miri workflow instead

shinolab · Jul 30, 2024 · ad41a90 · ad41a90
1 parent 9046883
commit ad41a90
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 13 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -88,19 +88,6 @@ jobs:
           python3 build.py test --features "use_meter left_handed"
         shell: bash
 
-  miri:
-    name: test-with-miri
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: ./.github/actions/setup-build
-        with:
-          os: ubuntu-latest
-          toolchain: nightly
-          components: miri
-      - run: |
-          python3 build.py test --miri
-
   lint:
     name: lint
     runs-on: ubuntu-latest

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -0,0 +1,21 @@
+name: miri
+
+on: [ workflow_dispatch ]
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  miri:
+    name: test-with-miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ./.github/actions/setup-build
+        with:
+          os: ubuntu-latest
+          toolchain: nightly
+          components: miri
+      - run: |
+          python3 build.py test --miri