Skip to content

Actions: ndmitchell/hlint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
352 workflow runs
352 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updates for GHC HEAD (ghc-next variant) ghc-next-from-scratch #155: Commit f2a1a73 pushed by shayne-fletcher
August 17, 2025 17:56 59m 45s ghc-next
ghc-next
August 17, 2025 17:56 59m 45s
ghc-next-from-scratch ghc-next-from-scratch #154: Scheduled
August 16, 2025 08:03 1h 3m 35s master
master
August 16, 2025 08:03 1h 3m 35s
ci ci #1569: Scheduled
August 16, 2025 03:23 24m 49s master
master
August 16, 2025 03:23 24m 49s
Add a test that ignores all hints then enables a lhs-rhs hint (#1661) ci #1568: Commit 514ad8f pushed by zliu41
August 15, 2025 21:41 27m 14s master
master
August 15, 2025 21:41 27m 14s
Add a test that ignores all hints then enables a lhs-rhs hint ci #1567: Pull request #1661 opened by zliu41
August 15, 2025 21:06 27m 43s zliu41/test-ignore
zliu41/test-ignore
August 15, 2025 21:06 27m 43s
Add a test that ignores all hints then enables a lhs-rhs hint ci #1566: Commit 08473fa pushed by zliu41
August 15, 2025 21:05 20m 50s zliu41/test-ignore
zliu41/test-ignore
August 15, 2025 21:05 20m 50s
Add a test that ignores all hints then enables a lhs-rhs hint ci #1565: Commit 3410282 pushed by zliu41
August 15, 2025 21:04 28m 33s zliu41/test-ignore
zliu41/test-ignore
August 15, 2025 21:04 28m 33s
Update CHANGES.txt ci #1564: Commit 1f29662 pushed by zliu41
August 15, 2025 21:03 23m 43s master
master
August 15, 2025 21:03 23m 43s
Allow Avoid lambda to trigger in more cases (#1660) ci #1563: Commit 3859cc6 pushed by zliu41
August 15, 2025 21:02 26m 19s master
master
August 15, 2025 21:02 26m 19s
Allow Avoid lambda to trigger in more cases ci #1562: Pull request #1660 synchronize by zliu41
August 15, 2025 20:40 20m 36s zliu41/avoid-lambda
zliu41/avoid-lambda
August 15, 2025 20:40 20m 36s
Appease hlint ci #1561: Commit 834154f pushed by zliu41
August 15, 2025 20:40 20m 39s zliu41/avoid-lambda
zliu41/avoid-lambda
August 15, 2025 20:40 20m 39s
Allow Avoid lambda to trigger in more cases ci #1560: Pull request #1660 opened by zliu41
August 15, 2025 20:33 20m 52s zliu41/avoid-lambda
zliu41/avoid-lambda
August 15, 2025 20:33 20m 52s
Allow Avoid lambda to trigger in more cases ci #1559: Commit 72e620b pushed by zliu41
August 15, 2025 20:29 20m 31s zliu41/avoid-lambda
zliu41/avoid-lambda
August 15, 2025 20:29 20m 31s
Update CHANGES.txt ci #1558: Commit 8452bdb pushed by zliu41
August 15, 2025 18:47 21m 4s master
master
August 15, 2025 18:47 21m 4s
Disable two functor law hints (#1659) ci #1557: Commit 07ae506 pushed by zliu41
August 15, 2025 18:44 20m 33s master
master
August 15, 2025 18:44 20m 33s
Disable two functor law hints ci #1556: Pull request #1659 synchronize by zliu41
August 15, 2025 18:05 20m 28s zliu41/functor-law
zliu41/functor-law
August 15, 2025 18:05 20m 28s
Update hints.md ci #1555: Commit 985a235 pushed by zliu41
August 15, 2025 18:05 27m 45s zliu41/functor-law
zliu41/functor-law
August 15, 2025 18:05 27m 45s
Disable two functor law hints ci #1554: Pull request #1659 opened by zliu41
August 15, 2025 17:58 23m 30s zliu41/functor-law
zliu41/functor-law
August 15, 2025 17:58 23m 30s
Disable two functor law hints ci #1553: Commit 0db03e8 pushed by zliu41
August 15, 2025 17:57 27m 33s zliu41/functor-law
zliu41/functor-law
August 15, 2025 17:57 27m 33s
[Use fewer imports]: combine field imports for same imported type, class, etc. #1133 ci #1552: Pull request #1654 synchronize by Morabbin
August 14, 2025 13:01 Action required Morabbin:use_fewer_imports_combine_fields
Morabbin:use_fewer_imports_combine_fields
August 14, 2025 13:01 Action required
ghc-next-from-scratch ghc-next-from-scratch #153: Scheduled
August 9, 2025 08:02 1h 1m 11s master
master
August 9, 2025 08:02 1h 1m 11s
ci ci #1551: Scheduled
August 9, 2025 03:27 36m 51s master
master
August 9, 2025 03:27 36m 51s
ghc-next-from-scratch ghc-next-from-scratch #152: Scheduled
August 2, 2025 08:02 59m 31s master
master
August 2, 2025 08:02 59m 31s
ci ci #1550: Scheduled
August 2, 2025 03:30 27m 17s master
master
August 2, 2025 03:30 27m 17s
ghc-next-from-scratch ghc-next-from-scratch #151: Scheduled
July 26, 2025 08:02 56m 30s master
master
July 26, 2025 08:02 56m 30s