Skip to content

Actions: ndmitchell/hlint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
457 workflow runs
457 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
avoiding repeated work on lists to be "cycled"
ci #1221: Pull request #1567 opened by jvoigtlaender
February 4, 2024 21:46 44m 31s jvoigtlaender:cycle
February 4, 2024 21:46 44m 31s
generalize zip on empty lists hint
ci #1220: Pull request #1565 synchronize by jvoigtlaender
February 4, 2024 21:19 45m 16s jvoigtlaender:zip-evaluate
February 4, 2024 21:19 45m 16s
generalize zip on empty lists hint
ci #1218: Pull request #1565 opened by jvoigtlaender
February 4, 2024 20:41 32m 38s jvoigtlaender:zip-evaluate
February 4, 2024 20:41 32m 38s
ci
ci #1217: Scheduled
February 3, 2024 03:03 44m 54s master
February 3, 2024 03:03 44m 54s
Merge pull request #1560 from ndmitchell/ci-disable-ghc-next
ci #1216: Commit 8bd116c pushed by ndmitchell
January 28, 2024 08:53 43m 57s master
January 28, 2024 08:53 43m 57s
don't run ci workflow on the ghc-next branch
ci #1215: Pull request #1560 opened by shayne-fletcher
January 27, 2024 22:18 44m 26s ci-disable-ghc-next
January 27, 2024 22:18 44m 26s
ci
ci #1213: Scheduled
January 27, 2024 03:03 25m 16s master
January 27, 2024 03:03 25m 16s
ci
ci #1212: Scheduled
January 20, 2024 03:03 50m 16s master
January 20, 2024 03:03 50m 16s
updates for compatibility with GHC HEAD
ci #1211: Commit d5abaf8 pushed by shayne-fletcher
January 16, 2024 01:22 40m 38s ghc-next
January 16, 2024 01:22 40m 38s
regenerate hints.md (#1556)
ci #1210: Commit 449f466 pushed by shayne-fletcher
January 16, 2024 01:22 45m 2s master
January 16, 2024 01:22 45m 2s
regenerate hints.md
ci #1209: Pull request #1556 opened by shayne-fletcher
January 15, 2024 23:35 30m 34s regenerate-summary
January 15, 2024 23:35 30m 34s
regenerate hints.md
ci #1208: Commit f311bb8 pushed by shayne-fletcher
January 15, 2024 23:34 43m 0s regenerate-summary
January 15, 2024 23:34 43m 0s
January 15, 2024 23:33 47m 7s
updates for compatibility with GHC HEAD
ci #1206: Commit 00a63c9 pushed by shayne-fletcher
January 15, 2024 22:51 29m 0s ghc-next
January 15, 2024 22:51 29m 0s
#1549, downgrade a few of the error severities to warn
ci #1205: Commit b7fc80a pushed by ndmitchell
January 15, 2024 19:46 43m 47s master
January 15, 2024 19:46 43m 47s
Version 3.8
ci #1204: Commit 14162e8 pushed by ndmitchell
January 15, 2024 18:43 52m 25s v3.8
January 15, 2024 18:43 52m 25s
Version 3.8
release #17: Commit 14162e8 pushed by ndmitchell
January 15, 2024 18:43 31m 11s v3.8
January 15, 2024 18:43 31m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.