ci: use "pull" instead of "pull_strategy"

2026-06-10 16:12:54 -07:00 · 2024-02-09 09:34:25 +01:00
parent f553746a8f
commit 5d191e0319
1 changed files with 2 additions and 2 deletions
@@ -47,7 +47,7 @@ jobs:
      with:
        default_author: github_actions
        message: "Update of the GNU data"
-        pull_strategy: '--autostash'
+        pull: '--autostash'

    - name: Generate the graph
      shell: bash
@@ -100,7 +100,7 @@ jobs:
      with:
        default_author: github_actions
        message: "Update of the BFS data"
-        pull_strategy: '--autostash'
+        pull: '--autostash'

    - name: Generate the graph
      shell: bash