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

Merged

hannes merged 3 commits from opam-diff into main

hannes commented

Owner

There is no content yet.

hannes added 1 commit

8f1ab65196 investigate differences in build, install, and uri when opam file differed

robur added 1 commit

b34fe8b959 compare environment and system packages as well

hannes referenced this pull request

display hashes in the build list and "other builds with the same hash" #6

reynir commented

Owner

Looks very good to me! Thanks

Looks very good to me! Thanks

robur added 1 commit

1e167fe02e no li

hannes merged commit 9c326679ba into main 2 years ago

hannes referenced this issue from a commit

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

hannes deleted branch opam-diff

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.

Loading…

There is no content yet.