ci: update github actions

Required to update to Node.js 24.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index eb8f0d120428a5e540b8277349f81e7f1ee416c1..79a4796e84d4b92bd7245647dc667da477d600a7 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,10 +18,10 @@ jobs:
     steps:
       # Checkout and setup
       - name: Checkout
     steps:
       # Checkout and setup
       - name: Checkout

-        uses: actions/checkout@v4
+        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7

       # Install uv
       - name: Install
       # Install uv
       - name: Install

-        uses: astral-sh/setup-uv@v5
+        uses: astral-sh/setup-uv@bec219d24cd3e171d82865faccec33120bb574f4 # v10.1.0

       # Sync uv
       - name: Sync
         run: uv sync
       # Sync uv
       - name: Sync
         run: uv sync


@@ -31,7 +31,7 @@ jobs:
       # Deploy, limited to the master branch
       - name: Deploy
         if: success() && github.ref == 'refs/heads/master'
       # Deploy, limited to the master branch
       - name: Deploy
         if: success() && github.ref == 'refs/heads/master'

-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@84c30a85c19949d7eee79c4ff27748b70285e453 # v4.1.0

         with:
           publish_dir: ./site
           github_token: ${{ secrets.GITHUB_TOKEN }}
         with:
           publish_dir: ./site
           github_token: ${{ secrets.GITHUB_TOKEN }}