Skip to content

chore: migrate license from PMPL-1.0-or-later to MPL-2.0 #27

chore: migrate license from PMPL-1.0-or-later to MPL-2.0

chore: migrate license from PMPL-1.0-or-later to MPL-2.0 #27

Triggered via push May 22, 2026 13:52
Status Failure
Total duration 3h 57m 44s
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’