Skip to content

Actions: andreabedini/cabal

Actions

Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
This workflow was disabled manually.
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try fixing addInternalBuildTools Linting #122: Commit f16371a pushed by andreabedini
June 4, 2024 07:47 1m 15s fix-addInternalBuildTools
fix-addInternalBuildTools
June 4, 2024 07:47 1m 15s
Small changes in configure Linting #121: Commit fa70119 pushed by andreabedini
June 4, 2024 07:47 1m 15s allow-newer-in-Cabal-some-refactor
allow-newer-in-Cabal-some-refactor
June 4, 2024 07:47 1m 15s
Remove parameter ignored by defaultInstallDirs Linting #120: Commit fabaa0d pushed by andreabedini
June 4, 2024 07:47 1m 15s install-dirs
install-dirs
June 4, 2024 07:47 1m 15s
Maybe this is more neat Linting #119: Commit c0787ec pushed by andreabedini
June 4, 2024 07:45 1m 45s fix-9891-local-no-index
fix-9891-local-no-index
June 4, 2024 07:45 1m 45s
Maybe this is more neat Linting #118: Commit 40fc001 pushed by andreabedini
June 2, 2024 17:12 1m 41s fix-9891-local-no-index
fix-9891-local-no-index
June 2, 2024 17:12 1m 41s
Introduce SetupPaths Linting #117: Commit 585d57c pushed by andreabedini
May 30, 2024 03:10 1m 38s setup-wrapper-rework
setup-wrapper-rework
May 30, 2024 03:10 1m 38s
CI: add GHC 9.10 (#9914) Linting #116: Commit 3a8c69c pushed by andreabedini
May 30, 2024 03:09 1m 41s master
master
May 30, 2024 03:09 1m 41s
Merge pull request #9989 from sheaf/hooks-rfc-link Linting #115: Commit 47e7295 pushed by andreabedini
May 14, 2024 05:25 1m 38s master
master
May 14, 2024 05:25 1m 38s
Fix setupProgFile on Windows Linting #114: Commit 79aee2b pushed by andreabedini
March 25, 2024 12:19 1m 19s refactor/setup-wrapper
refactor/setup-wrapper
March 25, 2024 12:19 1m 19s
Fix setupProgFile on Windows Linting #113: Commit 509a3dd pushed by andreabedini
March 25, 2024 08:11 1m 17s refactor/setup-wrapper
refactor/setup-wrapper
March 25, 2024 08:11 1m 17s
Refactor parts of SetupWrapper Linting #112: Commit 12c88db pushed by andreabedini
February 23, 2024 05:39 1m 18s refactor/setup-wrapper
refactor/setup-wrapper
February 23, 2024 05:39 1m 18s
WIP Linting #111: Commit 4b62f6d pushed by andreabedini
February 23, 2024 04:51 1m 22s refactor/setup-wrapper
refactor/setup-wrapper
February 23, 2024 04:51 1m 22s
WIP Linting #110: Commit 9b410f5 pushed by andreabedini
February 22, 2024 14:03 1m 19s refactor/setup-wrapper
refactor/setup-wrapper
February 22, 2024 14:03 1m 19s
Better Linting #109: Commit 77bc0f4 pushed by andreabedini
February 22, 2024 12:56 1m 17s concrete-plan
concrete-plan
February 22, 2024 12:56 1m 17s
WIP Linting #108: Commit 5fea140 pushed by andreabedini
February 22, 2024 12:56 1m 18s concrete-plan-take-two
concrete-plan-take-two
February 22, 2024 12:56 1m 18s
Refactor CmdInstall Linting #107: Commit 7b1746f pushed by Mikolaj
February 18, 2024 06:49 1m 20s refactor/cmd-install
refactor/cmd-install
February 18, 2024 06:49 1m 20s
Refactor CmdInstall Linting #106: Commit 656d06b pushed by andreabedini
February 16, 2024 06:16 1m 16s refactor/cmd-install
refactor/cmd-install
February 16, 2024 06:16 1m 16s
Refactor CmdInstall Linting #105: Commit 4d55140 pushed by andreabedini
February 16, 2024 06:16 1m 16s refactor/cmd-install
refactor/cmd-install
February 16, 2024 06:16 1m 16s
Refactor CmdInstall Linting #104: Commit e0ee667 pushed by andreabedini
February 13, 2024 09:01 1m 19s refactor/cmd-install
refactor/cmd-install
February 13, 2024 09:01 1m 19s
Refactor CmdInstall Linting #103: Commit 4de55c1 pushed by andreabedini
February 12, 2024 17:35 1m 22s refactor/cmd-install
refactor/cmd-install
February 12, 2024 17:35 1m 22s
Refactor CmdInstall Linting #102: Commit ffe8d2c pushed by andreabedini
February 12, 2024 08:40 1m 21s refactor/cmd-install
refactor/cmd-install
February 12, 2024 08:40 1m 21s
Refactor CmdInstall Linting #101: Commit edf950b pushed by andreabedini
February 12, 2024 08:37 1m 19s refactor/cmd-install
refactor/cmd-install
February 12, 2024 08:37 1m 19s
WIP Linting #100: Commit 56ad9c9 pushed by andreabedini
February 9, 2024 13:06 1m 19s wip/romes/globbing
wip/romes/globbing
February 9, 2024 13:06 1m 19s
Add comments and whitespace tokens to the lexer Linting #99: Commit acf4fb9 pushed by andreabedini
January 30, 2024 07:05 1m 18s lexer-ws-and-comments
lexer-ws-and-comments
January 30, 2024 07:05 1m 18s
Drop sub-component targets Linting #98: Commit eda0b22 pushed by andreabedini
January 29, 2024 06:04 1m 18s remove-file-and-module-targets
remove-file-and-module-targets
January 29, 2024 06:04 1m 18s