Skip to content

Actions: ndmitchell/hoogle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use new XDG API to get data directory ci #263: Pull request #419 opened by kephas
January 16, 2024 21:32 16m 54s kephas:master
kephas:master
January 16, 2024 21:32 16m 54s
Fix up to follow Hackage rules ci #262: Commit ee364a4 pushed by ndmitchell
January 14, 2024 11:32 13m 47s v5.0.18.4
v5.0.18.4
January 14, 2024 11:32 13m 47s
Fix up to follow Hackage rules ci #261: Commit ee364a4 pushed by ndmitchell
January 14, 2024 11:32 13m 38s master
master
January 14, 2024 11:32 13m 38s
Version 5.0.18.4 ci #260: Commit 07603fb pushed by ndmitchell
January 14, 2024 11:19 12m 48s master
master
January 14, 2024 11:19 12m 48s
Fix up the stats display ci #259: Commit 6c32b3a pushed by ndmitchell
January 14, 2024 10:56 22m 18s master
master
January 14, 2024 10:56 22m 18s
Avoid warnings on GHC 9.8 ci #258: Commit 6e6c831 pushed by ndmitchell
January 14, 2024 10:54 2m 55s master
master
January 14, 2024 10:54 2m 55s
Bump the stack limit ci #257: Commit fea357a pushed by ndmitchell
January 13, 2024 15:48 43m 52s master
master
January 13, 2024 15:48 43m 52s
Update the copyright year ci #256: Commit ac6b37e pushed by ndmitchell
January 13, 2024 13:57 33m 41s master
master
January 13, 2024 13:57 33m 41s
ci ci #255: Scheduled
January 13, 2024 03:12 53m 29s master
master
January 13, 2024 03:12 53m 29s
ci ci #254: Scheduled
January 6, 2024 03:12 36m 56s master
master
January 6, 2024 03:12 36m 56s
ci ci #253: Scheduled
December 30, 2023 03:12 38m 49s master
master
December 30, 2023 03:12 38m 49s
ci ci #252: Scheduled
December 23, 2023 03:11 47m 23s master
master
December 23, 2023 03:11 47m 23s
ci ci #251: Scheduled
December 16, 2023 03:12 50m 48s master
master
December 16, 2023 03:12 50m 48s
ci ci #250: Scheduled
December 9, 2023 03:12 45m 23s master
master
December 9, 2023 03:12 45m 23s
ci ci #249: Scheduled
December 2, 2023 03:12 35m 53s master
master
December 2, 2023 03:12 35m 53s
ci ci #248: Scheduled
November 25, 2023 03:12 41m 50s master
master
November 25, 2023 03:12 41m 50s
ci ci #247: Scheduled
November 18, 2023 03:12 48m 29s master
master
November 18, 2023 03:12 48m 29s
ci ci #246: Scheduled
November 11, 2023 03:14 52m 23s master
master
November 11, 2023 03:14 52m 23s
ci ci #241: Scheduled
November 4, 2023 03:11 49m 39s master
master
November 4, 2023 03:11 49m 39s
ci ci #240: Scheduled
October 28, 2023 03:11 47m 40s master
master
October 28, 2023 03:11 47m 40s
ci ci #239: Scheduled
October 21, 2023 03:11 43m 49s master
master
October 21, 2023 03:11 43m 49s
Update README.md ci #238: Commit 0be38ee pushed by ndmitchell
October 15, 2023 13:20 56m 10s master
master
October 15, 2023 13:20 56m 10s
ci ci #237: Scheduled
October 14, 2023 03:11 53m 1s master
master
October 14, 2023 03:11 53m 1s
ci ci #235: Scheduled
October 7, 2023 03:11 45m 14s master
master
October 7, 2023 03:11 45m 14s
ci ci #234: Scheduled
September 30, 2023 03:11 49m 19s master
master
September 30, 2023 03:11 49m 19s