Do not fail mull running against mull

mull-project · Apr 17, 2023 · 5965c74 · 5965c74
1 parent 84d27ec
commit 5965c74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mull-20.04.yml b/.github/workflows/mull-20.04.yml
@@ -51,4 +51,4 @@ jobs:
       - name: Run Mull
         run: |
           cd build.dir
-          mull-runner-12 -reporters=IDE -reporters=GithubAnnotations ./tests/mull-tests
+          mull-runner-12 --allow-surviving -reporters=IDE -reporters=GithubAnnotations ./tests/mull-tests