diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index be0997b2ae..5b6b2a5378 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -60,7 +60,7 @@ jobs: export MPI_HOME=$PETSC_DIR/packages # Linting should ignore unquoted shell variable $COMPLEX # shellcheck disable=SC2086 - ./firedrake/scripts/firedrake-install \ + ./firedrake/firedrake/scripts/firedrake-install \ $COMPLEX \ --honour-petsc-dir \ --mpicc="$MPICH_DIR"/mpicc \