04e52cd
commit 04e52cd
1 file changed
+1 -1
Showing 1 changed file+1-1
▼.github/workflows/ci.yml
+1-1
| @@ -84,7 +84,7 @@ jobs: | ||
84 | 84 | ${{ runner.os }}-miri- |
85 | 85 | |
86 | 86 | - name: Run Miri on justapi-core |
87 | - run: cargo +nightly miri test -p justapi-core --features db | |
87 | + run: cargo +nightly miri test -p justapi-core --lib --features db | |
88 | 88 | env: |
89 | 89 | MIRIFLAGS: "-Zmiri-disable-isolation" |
90 | 90 | |
91 | 91 | |