Skip to content

Actions: haskell/cabal

Actions

Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
7,054 workflow runs
7,054 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cabal: Honour -working-dir flag when running test executables Linting #7588: Pull request #10725 synchronize by mpickering
January 9, 2025 12:48 1m 39s mpickering:wip/10704
mpickering:wip/10704
January 9, 2025 12:48 1m 39s
cabal-install: Be less eager to configure external programs Linting #7587: Pull request #10731 opened by mpickering
January 9, 2025 12:48 1m 38s mpickering:wip/t10692
mpickering:wip/t10692
January 9, 2025 12:48 1m 38s
Suppress ghc-pkg warnings emitted when an empty packages is being registered Linting #7586: Pull request #9997 synchronize by depressed-pho
January 9, 2025 11:23 1m 40s depressed-pho:suppress-warnings-on-empty-packages
depressed-pho:suppress-warnings-on-empty-packages
January 9, 2025 11:23 1m 40s
Suppress ghc-pkg warnings emitted when an empty packages is being registered Linting #7585: Pull request #9997 synchronize by depressed-pho
January 9, 2025 11:13 1m 40s depressed-pho:suppress-warnings-on-empty-packages
depressed-pho:suppress-warnings-on-empty-packages
January 9, 2025 11:13 1m 40s
Create noindex.cache if missing Linting #7584: Pull request #10730 synchronize by jasagredo
January 9, 2025 10:09 1m 42s jasagredo:js/create-noindex.cache
jasagredo:js/create-noindex.cache
January 9, 2025 10:09 1m 42s
Fix file+noindex URI usage on Windows Linting #7583: Pull request #10728 synchronize by jasagredo
January 9, 2025 10:09 1m 48s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 10:09 1m 48s
Fix file+noindex URI usage on Windows Linting #7582: Pull request #10728 synchronize by jasagredo
January 9, 2025 10:08 1m 38s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 10:08 1m 38s
Create noindex.cache if missing Linting #7581: Pull request #10730 synchronize by jasagredo
January 9, 2025 09:07 1m 42s jasagredo:js/create-noindex.cache
jasagredo:js/create-noindex.cache
January 9, 2025 09:07 1m 42s
Fix file+noindex URI usage on Windows Linting #7580: Pull request #10728 synchronize by jasagredo
January 9, 2025 09:07 1m 41s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 09:07 1m 41s
Create noindex.cache if missing Linting #7579: Pull request #10730 opened by jasagredo
January 9, 2025 09:04 1m 39s jasagredo:js/create-noindex.cache
jasagredo:js/create-noindex.cache
January 9, 2025 09:04 1m 39s
Fix file+noindex URI usage on Windows Linting #7578: Pull request #10728 synchronize by jasagredo
January 9, 2025 09:02 1m 38s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 09:02 1m 38s
Fix file+noindex URI usage on Windows Linting #7577: Pull request #10728 synchronize by jasagredo
January 9, 2025 09:01 1m 43s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 09:01 1m 43s
Merge pull request #10710 from haskell/since-for-mhs Linting #7576: Commit 04db7d0 pushed by mergify bot
January 9, 2025 05:15 1m 38s master
master
January 9, 2025 05:15 1m 38s
Add since annotation for MHS Linting #7575: Pull request #10710 synchronize by Mikolaj
January 9, 2025 03:45 1m 36s since-for-mhs
since-for-mhs
January 9, 2025 03:45 1m 36s
Add since annotation for MHS Linting #7574: Commit aa829f9 pushed by Mikolaj
January 9, 2025 03:45 1m 38s since-for-mhs
since-for-mhs
January 9, 2025 03:45 1m 38s
cabal-install.cabal: bump upper bound for random Linting #7573: Pull request #10729 opened by ulysses4ever
January 9, 2025 03:36 1m 37s bump-random
bump-random
January 9, 2025 03:36 1m 37s
cabal-install.cabal: bump upper bound for random Linting #7572: Commit 216db5b pushed by ulysses4ever
January 9, 2025 03:36 1m 50s bump-random
bump-random
January 9, 2025 03:36 1m 50s
Fix file+noindex URI usage on Windows Linting #7571: Pull request #10728 synchronize by jasagredo
January 9, 2025 01:44 2m 17s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 01:44 2m 17s
Fix file+noindex URI usage on Windows Linting #7570: Pull request #10728 synchronize by jasagredo
January 9, 2025 01:11 1m 39s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 01:11 1m 39s
Fix file+noindex URI usage on Windows Linting #7569: Pull request #10728 synchronize by jasagredo
January 9, 2025 01:09 1m 39s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 01:09 1m 39s
Fix file+noindex URI usage on Windows Linting #7568: Pull request #10728 synchronize by jasagredo
January 9, 2025 00:52 1m 42s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 00:52 1m 42s
Fix file+noindex URI usage on Windows Linting #7567: Pull request #10728 synchronize by jasagredo
January 9, 2025 00:46 1m 37s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 00:46 1m 37s
Fix file+noindex URI usage on Windows Linting #7566: Pull request #10728 synchronize by jasagredo
January 9, 2025 00:44 1m 42s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 00:44 1m 42s
Fix file+noindex URI usage on Windows Linting #7565: Pull request #10728 synchronize by jasagredo
January 9, 2025 00:19 1m 40s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 00:19 1m 40s
Fix file+noindex URI usage on Windows Linting #7564: Pull request #10728 synchronize by jasagredo
January 9, 2025 00:14 1m 38s jasagredo:js/local-noindex
jasagredo:js/local-noindex
January 9, 2025 00:14 1m 38s