Skip to content

Actions: clash-lang/ghc-typelits-extra

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
48 workflow runs
48 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

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
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #94: Pull request #52 synchronize by rowanG077
April 16, 2024 14:46 4m 10s modreduce
April 16, 2024 14:46 4m 10s
Reduce Mod n p <= q to p <= q + 1
Haskell-CI #93: Commit 85f7b97 pushed by rowanG077
April 16, 2024 14:46 2m 33s modreduce
April 16, 2024 14:46 2m 33s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #92: Pull request #52 synchronize by rowanG077
April 14, 2024 00:36 5m 17s modreduce
April 14, 2024 00:36 5m 17s
Reduce Mod n p <= q to p <= q + 1
Haskell-CI #91: Commit beb409c pushed by rowanG077
April 14, 2024 00:36 4m 2s modreduce
April 14, 2024 00:36 4m 2s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #90: Pull request #52 synchronize by rowanG077
April 14, 2024 00:34 4m 51s modreduce
April 14, 2024 00:34 4m 51s
Reduce Mod n p <= q to p <= q + 1
Haskell-CI #89: Commit cc41b6e pushed by rowanG077
April 14, 2024 00:34 3m 50s modreduce
April 14, 2024 00:34 3m 50s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #88: Pull request #52 synchronize by rowanG077
April 14, 2024 00:32 5m 3s modreduce
April 14, 2024 00:32 5m 3s
Reduce Mod n p <= q to p <= q + 1
Haskell-CI #87: Commit 0ef43b6 pushed by rowanG077
April 14, 2024 00:32 3m 51s modreduce
April 14, 2024 00:32 3m 51s
Fix lookup Div and Mod GHC >= 9.2
Haskell-CI #86: Pull request #52 synchronize by rowanG077
April 14, 2024 00:32 3m 50s modreduce
April 14, 2024 00:32 3m 50s