Skip to content

chore: remove crash capture artifacts, update .gitignore #13

chore: remove crash capture artifacts, update .gitignore

chore: remove crash capture artifacts, update .gitignore #13

Triggered via push February 13, 2026 09:11
Status Failure
Total duration 52m 51s
Artifacts

casket-pages.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 10 warnings
HttpError: /home/runner/work/_actions/actions/configure-pages/983d7736d9b0ae728b81ab479565c72886d7745b/node_modules/@octokit/request/dist-node/index.js#L124
Get Pages site failed. Please verify that the repository has Pages enabled and configured to build using GitHub Actions, or consider exploring the `enablement` parameter for this action. Error: Not Found - https://docs.github.com/rest/pages/pages#get-a-apiname-pages-site
build
The import of ‘Data.Map.Strict’ is redundant
build
In the use of ‘tail’
build
In the use of ‘head’
build
The qualified import of ‘Data.Map.Strict’ is redundant
build
Defined but not used: ‘char’
build
The import of ‘Data.List’ is redundant
build
Defined but not used: ‘updateTimestampInContent’
build
Defined but not used: ‘updateBallot’
build
In the use of ‘head’
build
Defined but not used: ‘mergeManyStates’