#75: Add piping again

mesh-adaptation · Dec 11, 2024 · f1e84a2 · f1e84a2
1 parent 98f38b4
commit f1e84a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test_firedrake_install.yml b/.github/workflows/test_firedrake_install.yml
@@ -46,7 +46,7 @@ jobs:
 
       - name: 'Install Firedrake'
         run: |
-          make install
+          yes | make install
           cd firedrake-*
           echo "FIREDRAKE_ENV=$(pwd)" >> $GITHUB_ENV