Skip to content

Actions: HeinrichApfelmus/reactive-banana

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #297 from HeinrichApfelmus/bump-bounds
CI #250: Commit dfca913 pushed by HeinrichApfelmus
September 1, 2024 19:28 20m 45s master
September 1, 2024 19:28 20m 45s
bump containers, QuickCheck, and tasty-quickcheck upper bounds
CI #249: Pull request #297 opened by mitchellwrosen
June 28, 2024 14:10 14m 39s bump-bounds
June 28, 2024 14:10 14m 39s
Merge pull request #296 from thielema/reactive-banana-1.3
CI #248: Commit b7d834c pushed by HeinrichApfelmus
January 28, 2024 23:11 12m 57s master
January 28, 2024 23:11 12m 57s
Allow reactive-banana-1.3
CI #247: Pull request #296 opened by thielema
January 20, 2024 09:22 12m 33s thielema:reactive-banana-1.3
January 20, 2024 09:22 12m 33s
December 30, 2023 13:02 13m 40s
November 26, 2023 12:45 2m 44s
Merge pull request #275 from HeinrichApfelmus/buildw-type
CI #242: Commit 173cc76 pushed by HeinrichApfelmus
November 26, 2023 12:38 3m 40s master
November 26, 2023 12:38 3m 40s
Merge pull request #200 from gloaming/master
CI #241: Commit 652ab3b pushed by HeinrichApfelmus
November 26, 2023 12:35 12m 27s master
November 26, 2023 12:35 12m 27s
slightly improve performance of getting graph size
CI #240: Pull request #291 opened by mitchellwrosen
November 15, 2023 22:51 14m 30s faster-graph-size
November 15, 2023 22:51 14m 30s
small refactor: make BuildW a proper data type
CI #238: Pull request #275 synchronize by mitchellwrosen
November 15, 2023 16:06 15m 52s buildw-type
November 15, 2023 16:06 15m 52s
November 15, 2023 16:03 14m 53s
Merge pull request #288 from Bodigrim/patch-1
CI #236: Commit f13813b pushed by mitchellwrosen
September 19, 2023 18:22 18m 15s master
September 19, 2023 18:22 18m 15s
Allow pqueue-1.5
CI #235: Pull request #288 opened by Bodigrim
September 8, 2023 20:25 15m 29s patch-1
September 8, 2023 20:25 15m 29s