diff --git a/.github/workflows/julia-auto.yml b/.github/workflows/julia-auto.yml index 9a104842376..68d679dc002 100644 --- a/.github/workflows/julia-auto.yml +++ b/.github/workflows/julia-auto.yml @@ -68,7 +68,10 @@ jobs: - name: Patch Julia CI run: | echo $PWD + echo " -- ls -----------------" ls + echo " -- ls .. -----------------" + ls .. git apply .github/workflows/julia_ci.patch -v - name: Generate LocalPreferences