Pin deploy pages

Author: Benjamin-Philip

.github/workflows/docs.yml

@@ -105,7 +105,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - id: deployment
-        uses: actions/deploy-pages@v5
+        uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0
         with:
            artifact_name: docs-${{ github.sha }}