docs: wire KnotTheory.jl + nextgen-typing into scope-table sibling li… #125
hyperpolymathAnnotations
2 errors and 11 warnings
|
build
HttpError: Not Found - https://docs.github.com/rest/pages/pages#get-a-apiname-pages-site
|
|
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
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830, actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11, actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b, haskell-actions/setup@ec49483bfc012387b227434aba94f59a6ecd0900. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
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’
|