Skip to content

Actions: ndmitchell/hlint

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
337 workflow runs
337 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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