Deploy to GitHub Pages using native actions

.github/workflows/ci.yml

@@ -28,7 +28,7 @@ jobs:
         with:
           sfml: '2.5.1'
       - name: Download source
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           submodules: recursive
       - name: Check code formatting and generated files
@@ -56,8 +56,22 @@ jobs:
         run: |
           LD_LIBRARY_PATH="$(pwd)" ./simple &
           pid=$!; sleep 3; kill $pid
-      - name: Deploy docs to gh-pages
-        if: github.event_name == 'push' && github.ref == 'refs/heads/master' && runner.os == 'Linux'
-        uses: oprypin/push-to-gh-pages@v3
+      - name: Upload to GitHub Pages
+        if: runner.os == 'Linux'
+        uses: actions/upload-pages-artifact@v2
         with:
-          publish_dir: ./docs
+          path: docs
+  deploy-docs:
+    if: github.event_name == 'push' && github.ref_name == github.event.repository.default_branch
+    needs: build
+    permissions:
+      pages: write
+      id-token: write
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}