Skip to content

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

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 #319

Triggered via push May 22, 2026 14:05
Status Failure
Total duration 4h 39m 19s
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’