Skip to content

Actions: goldfirere/singletons

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use GHC2024 in singletons-{th,base}
Haskell-CI #355: Pull request #617 opened by RyanGlScott
July 24, 2024 10:40 8m 29s T594-GHC2024
July 24, 2024 10:40 8m 29s
Use GHC2024 in singletons-{th,base}
Haskell-CI #354: Commit 5d9b524 pushed by RyanGlScott
July 24, 2024 10:26 8m 26s T594-GHC2024
July 24, 2024 10:26 8m 26s
July 23, 2024 21:57 10m 24s
Remove wrinkle 2 (and revise wrinkle 3) of Note [Preserve the order o…
Haskell-CI #351: Commit a63cf05 pushed by RyanGlScott
July 22, 2024 12:26 10m 47s T565
July 22, 2024 12:26 10m 47s
Adapt to goldfirere/th-desugar#199 and goldfirere/th-desugar#220
Haskell-CI #350: Commit b720f3c pushed by RyanGlScott
July 13, 2024 11:49 6m 2s master
July 13, 2024 11:49 6m 2s
Adapt to goldfirere/th-desugar#227
Haskell-CI #349: Pull request #615 synchronize by RyanGlScott
July 12, 2024 14:56 6m 19s adapt-to-th-desugar-T199-T220
July 12, 2024 14:56 6m 19s
Adapt to goldfirere/th-desugar#227
Haskell-CI #347: Pull request #615 opened by RyanGlScott
July 12, 2024 14:52 2m 56s adapt-to-th-desugar-T199-T220
July 12, 2024 14:52 2m 56s
singletons-th: Make pr_scoped_vars a list of LocalVars, not Names
Haskell-CI #345: Commit 30dd23f pushed by RyanGlScott
July 5, 2024 13:50 5m 15s master
July 5, 2024 13:50 5m 15s
Give asum, msum, and Product instances explicit kind signatures
Haskell-CI #342: Commit ae2a94f pushed by RyanGlScott
July 1, 2024 22:53 4m 47s master
July 1, 2024 22:53 4m 47s
Give helper type families more precise kinds
Haskell-CI #341: Commit 48b419a pushed by RyanGlScott
July 1, 2024 22:53 4m 54s master
July 1, 2024 22:53 4m 54s
Record local variables' kinds during lambda lifting
Haskell-CI #338: Commit 58dba67 pushed by RyanGlScott
June 30, 2024 21:26 5m 20s master
June 30, 2024 21:26 5m 20s
Adapt to DLamCasesE in th-desugar-1.18
Haskell-CI #331: Commit b385b36 pushed by RyanGlScott
June 25, 2024 23:57 5m 38s master
June 25, 2024 23:57 5m 38s