Merge branch 'main' into switch-newline

Author: lorenzwalthert

.github/workflows/pre-commit.yaml

@@ -21,18 +21,23 @@ jobs:
         uses: styfle/[email protected]
         with:
           access_token: ${{ github.token }}
+
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
+
       - name: Set up Python
-        uses: actions/setup-python@v5.3.0
+        uses: actions/setup-python@v5.4.0
         with:
-          python-version: "3.9"
-          architecture: "x64"
+          python-version: "3.13"
+
+      - uses: r-lib/actions/setup-r@v2
+
       - name: Run pre-commit
         uses: pre-commit/[email protected]
         env:
           SKIP: pkgdown
+
       - name: Commit files
         if: failure() && startsWith(github.ref, 'refs/heads')
         run: |
@@ -42,12 +47,14 @@ jobs:
             git checkout -- .github/workflows
             git commit -m "pre-commit" -a
           fi
+
       - name: Push changes
         if: failure() && startsWith(github.ref, 'refs/heads')
         uses: ad-m/github-push-action@master
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           branch: ${{ github.ref }}
+
     env:
       RENV_CONFIG_CACHE_ENABLED: FALSE
       GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}

styler.Rproj

@@ -1,4 +1,5 @@
 Version: 1.0
+ProjectId: 0778f065-a50f-4f3e-8b43-841eded0d216
 
 RestoreWorkspace: No
 SaveWorkspace: No