Skip to content

Actions: tomsmeding/cabal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatting Linting #13: Commit d88bba8 pushed by tomsmeding
February 12, 2025 22:35 1m 42s options-docs
options-docs
February 12, 2025 22:35 1m 42s
Use OPTS, not FLAG, for --repl-options Linting #12: Commit 0970b71 pushed by tomsmeding
February 12, 2025 22:18 1m 39s options-docs
options-docs
February 12, 2025 22:18 1m 39s
Further clarify precise quote parsing behaviour of --*-options options Linting #11: Commit 9219a88 pushed by tomsmeding
February 12, 2025 22:08 1m 38s options-docs
options-docs
February 12, 2025 22:08 1m 38s
Clarify splitting/passing behaviour for --*-option(s) arguments Linting #10: Commit 5616005 pushed by tomsmeding
February 12, 2025 21:49 1m 39s options-docs
options-docs
February 12, 2025 21:49 1m 39s
Clarify splitting/passing behaviour for --*-option(s) arguments Linting #9: Commit e1faaf0 pushed by tomsmeding
February 12, 2025 21:48 1m 37s options-docs
options-docs
February 12, 2025 21:48 1m 37s
Merge pull request #10771 from alt-romes/wip/romes/10686 Changelogs #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 23s master
master
February 12, 2025 20:47 23s
Merge pull request #10771 from alt-romes/wip/romes/10686 Typos #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 16s master
master
February 12, 2025 20:47 16s
Merge pull request #10771 from alt-romes/wip/romes/10686 Validate #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 2h 18m 7s master
master
February 12, 2025 20:47 2h 18m 7s
Merge pull request #10771 from alt-romes/wip/romes/10686 Check sdist Skip #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 17s master
master
February 12, 2025 20:47 17s
Merge pull request #10771 from alt-romes/wip/romes/10686 Linting #8: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 37m 22s master
master
February 12, 2025 20:47 37m 22s
Merge pull request #10771 from alt-romes/wip/romes/10686 Bootstrap #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 1h 11m 26s master
master
February 12, 2025 20:47 1h 11m 26s
Merge pull request #10771 from alt-romes/wip/romes/10686 Quick jobs #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 47m 35s master
master
February 12, 2025 20:47 47m 35s
Merge pull request #10771 from alt-romes/wip/romes/10686 Formatting #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 52s master
master
February 12, 2025 20:47 52s
Merge pull request #10771 from alt-romes/wip/romes/10686 Assorted #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 36m 8s master
master
February 12, 2025 20:47 36m 8s
Merge pull request #10771 from alt-romes/wip/romes/10686 Bootstrap Skip #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 15s master
master
February 12, 2025 20:47 15s
Merge pull request #10771 from alt-romes/wip/romes/10686 Whitespace #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 16s master
master
February 12, 2025 20:47 16s
Merge pull request #10771 from alt-romes/wip/romes/10686 Validate Skip #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 15s master
master
February 12, 2025 20:47 15s
Merge pull request #10771 from alt-romes/wip/romes/10686 Check sdist #1: Commit 595d023 pushed by tomsmeding
February 12, 2025 20:47 46m 36s master
master
February 12, 2025 20:47 46m 36s
Formatting Linting #7: Commit 14ca1bd pushed by Mikolaj
April 16, 2024 09:06 1m 18s env-file-warning
env-file-warning
April 16, 2024 09:06 1m 18s
Formatting Linting #6: Commit ed20c42 pushed by ulysses4ever
March 4, 2024 13:25 1m 20s env-file-warning
env-file-warning
March 4, 2024 13:25 1m 20s
Formatting Linting #5: Commit 0a4da41 pushed by ulysses4ever
February 19, 2024 17:25 1m 23s env-file-warning
env-file-warning
February 19, 2024 17:25 1m 23s
Formatting Linting #4: Commit 35b7a0b pushed by tomsmeding
February 18, 2024 10:45 1m 16s env-file-warning
env-file-warning
February 18, 2024 10:45 1m 16s
Improve message and its formatting Linting #3: Commit 75f72a6 pushed by tomsmeding
February 18, 2024 10:42 1m 22s env-file-warning
env-file-warning
February 18, 2024 10:42 1m 22s