Skip to content
Snippets Groups Projects

ci: Simplify usage directions

Merged Ben Gamari requested to merge wip/simplify-usage into master

While discussing usage of head.hackage with Simon it was pointed out that it would be simpler for users if there were a single command which could be invoked to add head.hackage to a project. Here we refactor the cabal.project snippets to make this feasible. In particular, we now provide three files:

  • repo.project contains the minimal snippet which just defines the source-repository stanza
  • cabal.constraints contains the version constraints and allow-newer declaration
  • cabal.project is the concatenation of both

We can then instruct users to simply curl cabal.project into their cabal.project.local file.

Merge request reports

Merge request pipeline #63194 skipped

Merge request pipeline skipped for 83ad8179

Approval is optional

Merged by Ben GamariBen Gamari 2 years ago (Feb 13, 2023 9:57pm UTC)

Merge details

  • Changes merged into with 83ad8179.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #63195 passed

Pipeline passed for 83ad8179 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading