Skip to content

Actions: goldfirere/singletons

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

D.S.TH.Syntax: Delete dead code (ADMatch) Haskell-CI #360: Commit 8babd09 pushed by RyanGlScott
October 27, 2024 15:10 5m 19s master
master
October 27, 2024 15:10 5m 19s
Draft: singletons-{th,base}: Require building with GHC 9.12 Haskell-CI #359: Commit 3e4cfc4 pushed by RyanGlScott
October 26, 2024 11:35 3m 4s ghc-9.12
ghc-9.12
October 26, 2024 11:35 3m 4s
Bump th-desugar to bring in changes from goldfirere/th-desugar#231 Haskell-CI #358: Commit 68c5754 pushed by RyanGlScott
October 26, 2024 11:09 8m 38s master
master
October 26, 2024 11:09 8m 38s
Bump th-desugar to bring in changes from goldfirere/th-desugar#231 Haskell-CI #357: Pull request #618 opened by RyanGlScott
October 26, 2024 10:57 8m 34s bump-th-desugar-embed-types-in-terms
bump-th-desugar-embed-types-in-terms
October 26, 2024 10:57 8m 34s
Bump th-desugar to bring in changes from goldfirere/th-desugar#231 Haskell-CI #356: Commit d89988f pushed by RyanGlScott
October 26, 2024 10:48 8m 19s bump-th-desugar-embed-types-in-terms
bump-th-desugar-embed-types-in-terms
October 26, 2024 10:48 8m 19s
Use GHC2024 in singletons-{th,base} Haskell-CI #355: Pull request #617 opened by RyanGlScott
July 24, 2024 10:40 8m 29s T594-GHC2024
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
T594-GHC2024
July 24, 2024 10:26 8m 26s
Remove wrinkle 2 (and revise wrinkle 3) of Note [Preserve the order o… Haskell-CI #353: Commit da13db1 pushed by RyanGlScott
July 23, 2024 21:57 10m 24s master
master
July 23, 2024 21:57 10m 24s
Remove wrinkle 2 (and revise wrinkle 3) of Note [Preserve the order of type variables during singling] Haskell-CI #352: Pull request #616 opened by RyanGlScott
July 22, 2024 12:26 10m 51s T565
T565
July 22, 2024 12:26 10m 51s
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
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
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
adapt-to-th-desugar-T199-T220
July 12, 2024 14:56 6m 19s
Adapt to goldfirere/th-desugar#199 and goldfirere/th-desugar#220 Haskell-CI #348: Commit f8b8cd8 pushed by RyanGlScott
July 12, 2024 14:56 6m 12s adapt-to-th-desugar-T199-T220
adapt-to-th-desugar-T199-T220
July 12, 2024 14:56 6m 12s
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
adapt-to-th-desugar-T199-T220
July 12, 2024 14:52 2m 56s
Adapt to goldfirere/th-desugar#199 and goldfirere/th-desugar#220 Haskell-CI #346: Commit febfac4 pushed by RyanGlScott
July 12, 2024 14:50 2m 53s adapt-to-th-desugar-T199-T220
adapt-to-th-desugar-T199-T220
July 12, 2024 14:50 2m 53s
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
master
July 5, 2024 13:50 5m 15s
singletons-th: Make pr_scoped_vars a list of LocalVars, not Names Haskell-CI #344: Pull request #614 opened by RyanGlScott
July 4, 2024 16:41 4m 56s T613-LocalVar-scoped-type-variables
T613-LocalVar-scoped-type-variables
July 4, 2024 16:41 4m 56s
singletons-th: Make pr_scoped_vars a list of LocalVars, not Names Haskell-CI #343: Commit 9d5a811 pushed by RyanGlScott
July 4, 2024 16:40 4m 53s T613-LocalVar-scoped-type-variables
T613-LocalVar-scoped-type-variables
July 4, 2024 16:40 4m 53s
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
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
master
July 1, 2024 22:53 4m 54s
Give helper type families more precise kinds Haskell-CI #340: Pull request #612 synchronize by RyanGlScott
June 30, 2024 21:29 6m 34s T601-helper-tyfam-precise-kinds
T601-helper-tyfam-precise-kinds
June 30, 2024 21:29 6m 34s
Give helper type families more precise kinds Haskell-CI #339: Commit 1668618 pushed by RyanGlScott
June 30, 2024 21:29 4m 49s T601-helper-tyfam-precise-kinds
T601-helper-tyfam-precise-kinds
June 30, 2024 21:29 4m 49s
Record local variables' kinds during lambda lifting Haskell-CI #338: Commit 58dba67 pushed by RyanGlScott
June 30, 2024 21:26 5m 20s master
master
June 30, 2024 21:26 5m 20s
Give helper type families more precise kinds Haskell-CI #337: Pull request #612 opened by RyanGlScott
June 30, 2024 21:13 5m 3s T601-helper-tyfam-precise-kinds
T601-helper-tyfam-precise-kinds
June 30, 2024 21:13 5m 3s
Give helper type families more precise kinds Haskell-CI #336: Commit 320e2eb pushed by RyanGlScott
June 30, 2024 21:13 5m 26s T601-helper-tyfam-precise-kinds
T601-helper-tyfam-precise-kinds
June 30, 2024 21:13 5m 26s