Creating Pages deployment failed

HttpError: Not Found at /home/runner/work/_actions/actions/deploy-pages/v2/node_modules/@octokit/request/dist-node/index.js:86:1 at processTicksAndRejections (node:internal/process/task_queues:96:5) at createPagesDeployment (/home/runner/work/_actions/actions/deploy-pages/v2/src/internal/api-client.js:126:1) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/v2/src/internal/deployment.js:80:1) at main (/home/runner/work/_actions/actions/deploy-pages/v2/src/index.js:30:1)

Error: Failed to create deployment (status: 404) with build version 93a8aa132f4ac527cb341b04ec9b435ecaaaa8b7. Ensure GitHub Pages has been enabled: https://github.com/damien-pous/opam-coq-archive/settings/pages

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/deploy-pages@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.