Skip to content

Actions: ndmitchell/hlint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci
ci #1255: Scheduled
March 16, 2024 03:03 52m 11s master
March 16, 2024 03:03 52m 11s
workflow ignore branch ghc-9.10.1
ci #1249: Commit 2f4ef2e pushed by shayne-fletcher
March 14, 2024 02:19 45m 51s master
March 14, 2024 02:19 45m 51s
ci
ci #1245: Scheduled
March 9, 2024 03:04 44m 4s master
March 9, 2024 03:04 44m 4s
ci
ci #1244: Scheduled
March 2, 2024 03:03 50m 29s master
March 2, 2024 03:03 50m 29s
set lower bounds ghc-lib-parser-ex-9.8.0.2 (#1578)
ci #1243: Commit 5b87373 pushed by shayne-fletcher
February 29, 2024 19:28 53m 44s master
February 29, 2024 19:28 53m 44s
remove cache file
ci #1240: Commit 2f47d56 pushed by shayne-fletcher
February 26, 2024 04:47 43m 36s master
February 26, 2024 04:47 43m 36s
build-depends: ghc-lib-parser-ex >= 9.8.0.1 (#1574)
ci #1239: Commit 5517216 pushed by shayne-fletcher
February 26, 2024 04:45 44m 7s master
February 26, 2024 04:45 44m 7s
ci
ci #1230: Scheduled
February 24, 2024 03:03 44m 6s master
February 24, 2024 03:03 44m 6s
ci
ci #1229: Scheduled
February 17, 2024 03:02 42m 25s master
February 17, 2024 03:02 42m 25s
ci
ci #1228: Scheduled
February 10, 2024 03:03 43m 9s master
February 10, 2024 03:03 43m 9s
Naming of hints
ci #1227: Pull request #1571 opened by jvoigtlaender
February 5, 2024 14:09 44m 21s jvoigtlaender:naming-of-hints
February 5, 2024 14:09 44m 21s
avoid redundant toList-calls
ci #1226: Pull request #1569 synchronize by jvoigtlaender
February 5, 2024 07:45 45m 37s jvoigtlaender:toList
February 5, 2024 07:45 45m 37s
generalize zip on empty lists hint
ci #1225: Pull request #1565 synchronize by jvoigtlaender
February 5, 2024 07:29 43m 28s jvoigtlaender:zip-evaluate
February 5, 2024 07:29 43m 28s
avoid redundant toList-calls
ci #1224: Pull request #1569 opened by jvoigtlaender
February 4, 2024 22:46 44m 2s jvoigtlaender:toList
February 4, 2024 22:46 44m 2s
avoiding repeated work on lists to be "cycled"
ci #1223: Pull request #1567 synchronize by jvoigtlaender
February 4, 2024 22:01 44m 6s jvoigtlaender:cycle
February 4, 2024 22:01 44m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-02-04 or the other filters available.