Skip to content

chore: retire local issue/discussion templates -> inherit org .github… #47

chore: retire local issue/discussion templates -> inherit org .github…

chore: retire local issue/discussion templates -> inherit org .github… #47

Triggered via push June 22, 2026 22:46
Status Success
Total duration 1h 37m 29s
Artifacts 1

casket-pages.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
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’

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
4.28 KB
sha256:faeb5a7c657ef8583a1ad80a3409467de72f6204fa5817b35931d77686457005