Skip to content

chore(www): migrate root .well-known/ to www/.well-known/ (#66) #82

chore(www): migrate root .well-known/ to www/.well-known/ (#66)

chore(www): migrate root .well-known/ to www/.well-known/ (#66) #82

Triggered via push September 18, 2026 15:17
Status Success
Total duration 2h 33m 48s
Artifacts –

casket-pages.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 2 notices
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’
build
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
deploy
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"