Skip to content
Deploy static content to Pages

Update docs: EasyCrypt/easycrypt@e1a1e84eb8cb82368b4c9f902f0f6d9469be… #83

Sign in to view logs

Update docs: EasyCrypt/easycrypt@e1a1e84eb8cb82368b4c9f902f0f6d9469be…

Update docs: EasyCrypt/easycrypt@e1a1e84eb8cb82368b4c9f902f0f6d9469be… #83

Re-run triggered July 2, 2026 16:59
@strubstrub
0827438
main
Status Failure
Total duration 15s
Artifacts –

static.yml

on: push
deploy
8s
deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
deploy
Error: Multiple artifacts named "github-pages" were unexpectedly found for this workflow run. Artifact count is 2.
deploy
Error: Multiple artifacts named "github-pages" were unexpectedly found for this workflow run. Artifact count is 2. at getArtifactMetadata (/home/runner/work/_actions/actions/deploy-pages/v4/src/internal/api-client.js:89:1) at processTicksAndRejections (node:internal/process/task_queues:104:5) at Deployment.create (/home/runner/work/_actions/actions/deploy-pages/v4/src/internal/deployment.js:66:1) at main (/home/runner/work/_actions/actions/deploy-pages/v4/src/index.js:30:1)
deploy
Fetching artifact metadata failed. Is githubstatus.com reporting issues with API requests, Pages, or Actions? Please re-run the deployment at a later time.
deploy
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/configure-pages@v5, actions/deploy-pages@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/