Skip to content

Actions: andreabedini/cabal

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Flesh out most of ConcretePlan (WIP)
Linting #93: Commit e57a032 pushed by andreabedini
January 24, 2024 07:23 1m 20s concrete-plan
January 24, 2024 07:23 1m 20s
WIP
Linting #91: Commit 9b2d6b7 pushed by andreabedini
January 22, 2024 05:45 1m 16s constraint-source
January 22, 2024 05:45 1m 16s
WIP
Linting #90: Commit 7c9f71f pushed by andreabedini
January 22, 2024 05:02 1m 20s constraint-source
January 22, 2024 05:02 1m 20s
WIP
Linting #89: Commit 6477cbf pushed by andreabedini
January 22, 2024 04:47 1m 21s constraint-source
January 22, 2024 04:47 1m 21s
Rephrase messages
Linting #88: Commit 7160600 pushed by andreabedini
January 19, 2024 07:27 1m 18s cabal-update-message
January 19, 2024 07:27 1m 18s
testsute: tar: don't pass --force-local on Windows
Linting #85: Commit e9ea717 pushed by ulysses4ever
December 25, 2023 16:04 1m 19s testsuite-secure-repos
December 25, 2023 16:04 1m 19s
fixup! Update cabal-testsuite/cabal-testsuite.cabal
Linting #84: Commit 372df0f pushed by ulysses4ever
December 25, 2023 03:28 1m 19s testsuite-secure-repos
December 25, 2023 03:28 1m 19s
try time-compat
Linting #83: Commit b1edc91 pushed by ulysses4ever
December 25, 2023 02:21 1m 22s testsuite-secure-repos
December 25, 2023 02:21 1m 22s
fixup! fix time bound
Linting #82: Commit 23ce661 pushed by ulysses4ever
December 21, 2023 19:28 1m 30s testsuite-secure-repos
December 21, 2023 19:28 1m 30s
Apply suggestions from code review
Linting #81: Commit 7bedf81 pushed by andreabedini
December 20, 2023 08:34 1m 22s testsuite-secure-repos
December 20, 2023 08:34 1m 22s
Use a local secure repositories in the test-suite.
Linting #80: Commit 9bb3af3 pushed by andreabedini
December 19, 2023 10:36 1m 19s testsuite-secure-repos
December 19, 2023 10:36 1m 19s
Apply suggestions from code review
Linting #78: Commit 8e99212 pushed by andreabedini
December 18, 2023 04:15 1m 24s cabal-update-message
December 18, 2023 04:15 1m 24s
Improve cabal update message
Linting #77: Commit 89c6220 pushed by andreabedini
December 15, 2023 04:33 1m 16s cabal-update-message
December 15, 2023 04:33 1m 16s
Improve cabal update message
Linting #76: Commit 70242fc pushed by andreabedini
December 15, 2023 04:32 1m 14s cabal-update-message
December 15, 2023 04:32 1m 14s
WIP
Linting #75: Commit fc912ea pushed by andreabedini
December 12, 2023 14:27 1m 16s concrete-plan
December 12, 2023 14:27 1m 16s
Drop sub-component targets
Linting #74: Commit 6916351 pushed by andreabedini
December 12, 2023 02:13 1m 16s remove-file-and-module-targets
December 12, 2023 02:13 1m 16s
Drop sub-component targets
Linting #73: Commit 11f227a pushed by andreabedini
December 11, 2023 07:30 1m 17s remove-file-and-module-targets
December 11, 2023 07:30 1m 17s
Drop sub-component targets
Linting #72: Commit 429874e pushed by andreabedini
December 11, 2023 04:59 1m 23s remove-file-and-module-targets
December 11, 2023 04:59 1m 23s
Drop sub-component targets
Linting #71: Commit ab4d678 pushed by andreabedini
December 11, 2023 04:09 1m 16s remove-file-and-module-targets
December 11, 2023 04:09 1m 16s
Separate setup policy from the rest of project planning
Linting #70: Commit b86bc92 pushed by Mikolaj
December 10, 2023 03:34 1m 17s setup-policy
December 10, 2023 03:34 1m 17s