investigate differences in build, install, and uri when opam file differed #48

Merged
hannes merged 3 commits from opam-diff into main 2 years ago
hannes commented 2 years ago
Owner
There is no content yet.
hannes added 1 commit 2 years ago
robur added 1 commit 2 years ago
reynir commented 2 years ago
Owner

Looks very good to me! Thanks

Looks very good to me! Thanks
robur added 1 commit 2 years ago
hannes merged commit 9c326679ba into main 2 years ago
hannes deleted branch opam-diff 2 years ago
The pull request has been merged as 9c326679ba.
You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.
git checkout -b opam-diff main
git pull origin opam-diff

Step 2:

Merge the changes and update on Gitea.
git checkout main
git merge --no-ff opam-diff
git push origin main
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
3 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: robur/builder-web#48
Loading…
There is no content yet.