documentation action uses PR-repo-state

ThummeTo · Nov 21, 2023 · 19a81b8 · 19a81b8
1 parent 6db24e5
commit 19a81b8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
@@ -24,8 +24,6 @@ jobs:
     steps:
       - name: "Check out repository"
         uses: actions/checkout@v3
-        with:
-          ref: main
 
       - name: "Set up Julia"
         uses: julia-actions/setup-julia@v1