Merge branch 'master' into cxx17

2024-11-14 17:30:49 +09:00 · 2024-11-14 17:30:49 +09:00 · 9ddd0a0813
commit 9ddd0a0813
parent 5c3e203f4a 6a9528cf54
1 changed files with 2 additions and 2 deletions
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@ -12,7 +12,7 @@ jobs:
    concurrency:
      group: ${{ github.workflow }}-${{ github.ref }}
    steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
        with:
          fetch-depth: 1

@ -20,7 +20,7 @@ jobs:
        uses: mattnotmitt/doxygen-action@v1

      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
        if: ${{ github.ref == 'refs/heads/master' }}
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}