Skip to content

chore(ci): add dormant push-email notification workflow (#57) #103

chore(ci): add dormant push-email notification workflow (#57)

chore(ci): add dormant push-email notification workflow (#57) #103

Triggered via push June 24, 2026 18:16
Status Failure
Total duration 22h 21m 27s
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/45bfe0192ca1faeb007ade9deae92b16b8254a0d/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’