Skip to content

Actions: ndmitchell/hlint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
467 workflow runs
467 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

regenerate hints.md
ci #1373: Pull request #1611 opened by shayne-fletcher
August 26, 2024 22:37 52m 16s regenerate-hints
August 26, 2024 22:37 52m 16s
regnereate hints.md
ci #1372: Commit bb3636b pushed by shayne-fletcher
August 26, 2024 22:37 40m 42s regenerate-hints
August 26, 2024 22:37 40m 42s
remove workflow (#1610)
ci #1371: Commit deaa3a1 pushed by shayne-fletcher
August 26, 2024 22:36 41m 7s regenerate-hints
August 26, 2024 22:36 41m 7s
remove workflow (#1610)
ci #1370: Commit deaa3a1 pushed by shayne-fletcher
August 26, 2024 22:34 44m 47s regenerate-hints
August 26, 2024 22:34 44m 47s
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
ghc-9.10-from-scratch
ghc-9.10-from-scratch #78: Scheduled
August 24, 2024 08:04 54m 41s master
August 24, 2024 08:04 54m 41s
ghc-next-from-scratch
ghc-next-from-scratch #60: Scheduled
August 24, 2024 08:02 51m 9s master
August 24, 2024 08:02 51m 9s
ci
ci #1353: Scheduled
August 24, 2024 03:03 58m 1s master
August 24, 2024 03:03 58m 1s
ghc-9.10-from-scratch
ghc-9.10-from-scratch #77: Scheduled
August 17, 2024 08:05 50m 29s master
August 17, 2024 08:05 50m 29s
ghc-next-from-scratch
ghc-next-from-scratch #59: Scheduled
August 17, 2024 08:02 50m 6s master
August 17, 2024 08:02 50m 6s