k

firedrakeproject · Apr 17, 2024 · 9b1d48b · 9b1d48b
1 parent 1d31933
commit 9b1d48b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -88,7 +88,7 @@ jobs:
             --package-branch ufl ksagiyam/introduce_mixed_map \
             --package-branch petsc ksagiyam/merge_upstream \
             --package-branch slepc ksagiyam/merge_upstream \
-            ||(cat firedrake-install.log && /bin/false)
+            || (cat firedrake-install.log && /bin/false)
       - name: Install test dependencies
         run: |
           . ../firedrake_venv/bin/activate