Skip to content

Actions: ndmitchell/hlint

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove workflow (#1610)
ci #1369: Commit deaa3a1 pushed by shayne-fletcher
August 26, 2024 22:15 35m 38s master
August 26, 2024 22:15 35m 38s
generalize zip on empty lists hint
ci #1367: Pull request #1565 synchronize by jvoigtlaender
August 26, 2024 16:49 40m 39s jvoigtlaender:zip-evaluate
August 26, 2024 16:49 40m 39s
#1594, update the changelog
ci #1366: Commit 74542f9 pushed by ndmitchell
August 26, 2024 15:46 1h 37m 4s master
August 26, 2024 15:46 1h 37m 4s
Merge pull request #1594 from ndmitchell/ghc-9.10.1
ci #1365: Commit 05257f6 pushed by ndmitchell
August 26, 2024 15:45 1h 39m 8s master
August 26, 2024 15:45 1h 39m 8s
Remove isEmpty side condition - it always evalutes to False
ci #1364: Commit 3c073c2 pushed by ndmitchell
August 26, 2024 15:41 2h 1m 55s master
August 26, 2024 15:41 2h 1m 55s
#1568, update changelog
ci #1363: Commit effbaec pushed by ndmitchell
August 26, 2024 14:49 2h 9m 13s master
August 26, 2024 14:49 2h 9m 13s
Merge pull request #1568 from jvoigtlaender/moving-functions
ci #1362: Commit 7c89ea0 pushed by ndmitchell
August 26, 2024 14:48 1h 57m 15s master
August 26, 2024 14:48 1h 57m 15s
#1569, update the changelog
ci #1361: Commit 2ef7449 pushed by ndmitchell
August 26, 2024 14:48 1h 55m 59s master
August 26, 2024 14:48 1h 55m 59s
Merge pull request #1569 from jvoigtlaender/toList
ci #1360: Commit 6ee004e pushed by ndmitchell
August 26, 2024 14:47 1h 54m 11s master
August 26, 2024 14:47 1h 54m 11s
#1571, update the changelog
ci #1359: Commit 2839fe8 pushed by ndmitchell
August 26, 2024 14:46 1h 59m 51s master
August 26, 2024 14:46 1h 59m 51s
Merge pull request #1571 from jvoigtlaender/naming-of-hints
ci #1358: Commit 5ea729b pushed by ndmitchell
August 26, 2024 14:45 1h 54m 48s master
August 26, 2024 14:45 1h 54m 48s
#1599, update the changelog
ci #1357: Commit 7dce25b pushed by ndmitchell
August 26, 2024 14:42 59m 56s master
August 26, 2024 14:42 59m 56s
Merge pull request #1599 from jvoigtlaender/translated-zero
ci #1356: Commit d8d27d3 pushed by ndmitchell
August 26, 2024 14:41 1h 3m 13s master
August 26, 2024 14:41 1h 3m 13s
#1600, update the changelog
ci #1355: Commit 78db59a pushed by ndmitchell
August 26, 2024 14:39 1h 34m 26s master
August 26, 2024 14:39 1h 34m 26s
Merge pull request #1600 from jvoigtlaender/sum-list
ci #1354: Commit 0c87d36 pushed by ndmitchell
August 26, 2024 14:38 1h 4m 48s master
August 26, 2024 14:38 1h 4m 48s
ci
ci #1353: Scheduled
August 24, 2024 03:03 58m 1s master
August 24, 2024 03:03 58m 1s
ci
ci #1352: Scheduled
August 17, 2024 03:03 1h 2m 0s master
August 17, 2024 03:03 1h 2m 0s
updates for compatibility with ghc-9.10
ci #1351: Pull request #1594 synchronize by shayne-fletcher
August 13, 2024 00:19 44m 49s ghc-9.10.1
August 13, 2024 00:19 44m 49s
Merge pull request #1609 from ndmitchell/rm-stack-yaml
ci #1350: Commit ab54e92 pushed by ndmitchell
August 11, 2024 15:53 58m 12s master
August 11, 2024 15:53 58m 12s
ci
ci #1348: Scheduled
August 10, 2024 03:03 56m 47s master
August 10, 2024 03:03 56m 47s