Skip to content

Actions: clash-lang/ghc-typelits-extra

Actions

Haskell-CI

Actions

Loading...

Show workflow options

Create status badge

57 workflow runs
57 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add support for GHC 9.11.20240522
Haskell-CI #119: Pull request #55 opened by christiaanb
May 27, 2024 19:28 4m 17s ghc911-support
May 27, 2024 19:28 4m 17s
Add support for GHC 9.11.20240522
Haskell-CI #118: Commit 0cebb9c pushed by christiaanb
May 27, 2024 19:28 2m 22s ghc911-support
May 27, 2024 19:28 2m 22s
Add support for GHC 9.10.1 (#54)
Haskell-CI #117: Commit 4dadc82 pushed by christiaanb
May 22, 2024 20:54 4m 46s master
May 22, 2024 20:54 4m 46s
Add support for GHC 9.10.1
Haskell-CI #116: Pull request #54 synchronize by christiaanb
May 22, 2024 20:48 4m 13s ghc910-support
May 22, 2024 20:48 4m 13s
Add support for GHC 9.10.1
Haskell-CI #115: Commit 12cb18d pushed by christiaanb
May 22, 2024 20:48 3m 34s ghc910-support
May 22, 2024 20:48 3m 34s
Add support for GHC 9.10.1
Haskell-CI #114: Pull request #54 synchronize by christiaanb
May 22, 2024 20:36 5m 58s ghc910-support
May 22, 2024 20:36 5m 58s
Add support for GHC 9.10.1
Haskell-CI #113: Commit a7bad16 pushed by christiaanb
May 22, 2024 20:36 4m 19s ghc910-support
May 22, 2024 20:36 4m 19s
Add support for GHC 9.10.1
Haskell-CI #112: Pull request #54 opened by christiaanb
May 22, 2024 20:35 3m 47s ghc910-support
May 22, 2024 20:35 3m 47s
Add support for GHC 9.10.1
Haskell-CI #111: Commit 3045df9 pushed by christiaanb
May 22, 2024 20:35 4m 2s ghc910-support
May 22, 2024 20:35 4m 2s
Merge pull request #53 from bgamari/wip/th-name-res
Haskell-CI #110: Commit f43b86f pushed by christiaanb
April 29, 2024 20:46 4m 57s master
April 29, 2024 20:46 4m 57s
Use TemplateHaskellQuotes for Name lookup
Haskell-CI #109: Pull request #53 synchronize by bgamari
April 29, 2024 20:38 4m 0s bgamari:wip/th-name-res
April 29, 2024 20:38 4m 0s
Use TemplateHaskellQuotes for Name lookup
Haskell-CI #108: Pull request #53 synchronize by bgamari
April 29, 2024 20:13 4m 5s bgamari:wip/th-name-res
April 29, 2024 20:13 4m 5s
Use TemplateHaskellQuotes for Name lookup
Haskell-CI #107: Pull request #53 synchronize by bgamari
April 29, 2024 19:18 4m 8s bgamari:wip/th-name-res
April 29, 2024 19:18 4m 8s
Reduce Mod n p <= q to p <= q + 1 and 1 <= p
Haskell-CI #106: Commit 085a8dd pushed by rowanG077
April 19, 2024 00:14 2m 50s modreduce2
April 19, 2024 00:14 2m 50s
Merge pull request #52 from clash-lang/modreduce
Haskell-CI #105: Commit 473f7d2 pushed by christiaanb
April 16, 2024 20:06 3m 15s master
April 16, 2024 20:06 3m 15s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #104: Pull request #52 synchronize by rowanG077
April 16, 2024 17:08 3m 57s modreduce
April 16, 2024 17:08 3m 57s
Fix wrong lookup for Mod and Div in GHC >= 9.2
Haskell-CI #103: Commit 0b2507a pushed by rowanG077
April 16, 2024 17:08 2m 31s modreduce
April 16, 2024 17:08 2m 31s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #102: Pull request #52 synchronize by rowanG077
April 16, 2024 15:00 4m 6s modreduce
April 16, 2024 15:00 4m 6s
Reduce Mod n p <= q to p <= q + 1 and 1 <= p
Haskell-CI #101: Commit 6bfd0ea pushed by rowanG077
April 16, 2024 15:00 3m 57s modreduce
April 16, 2024 15:00 3m 57s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #100: Pull request #52 synchronize by rowanG077
April 16, 2024 14:51 6m 4s modreduce
April 16, 2024 14:51 6m 4s
Reduce Mod n p <= q to p <= q + 1 and 1 <= p
Haskell-CI #99: Commit 5c74672 pushed by rowanG077
April 16, 2024 14:51 4m 33s modreduce
April 16, 2024 14:51 4m 33s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #98: Pull request #52 synchronize by rowanG077
April 16, 2024 14:51 4m 28s modreduce
April 16, 2024 14:51 4m 28s
Haskell-CI
Haskell-CI #97: by rowanG077
April 16, 2024 14:51 2m 52s modreduce
April 16, 2024 14:51 2m 52s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #96: Pull request #52 synchronize by rowanG077
April 16, 2024 14:48 4m 33s modreduce
April 16, 2024 14:48 4m 33s
Reduce Mod n p <= q to p <= q + 1
Haskell-CI #95: Commit ed0e568 pushed by rowanG077
April 16, 2024 14:48 3m 58s modreduce
April 16, 2024 14:48 3m 58s