simplify ci

hlbarber · Dec 28, 2023 · 75d643b · 75d643b
1 parent 4ddea4c
commit 75d643b
Showing 1 changed file with 1 addition and 17 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,12 +16,11 @@ jobs:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@nightly
         with:
-          components: clippy, miri
+          components: clippy
       - uses: taiki-e/install-action@cargo-hack
       - run: cargo hack check --each-feature
       - run: cargo hack test --each-feature
       - run: cargo hack clippy --each-feature
-      - run: cargo hack miri test --each-feature
 
   fmt:
     name: Formatting
@@ -31,18 +30,3 @@ jobs:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@stable
       - run: cargo fmt --check
-
-  examples:
-    name: Examples
-    runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-    timeout-minutes: 20
-    steps:
-      - uses: actions/checkout@v3
-      - uses: dtolnay/rust-toolchain@nightly
-        with:
-          components: miri
-      - uses: taiki-e/install-action@cargo-hack
-      - run: cargo hack run --example basic --each-feature
-      - run: cargo hack miri run --example basic --each-feature