Skip to content

Commit 07c5e1c

Browse files
committed
add a note for contributors for troubleshooting build issue after rebase
1 parent 052e940 commit 07c5e1c

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

CONTRIBUTING.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -276,3 +276,9 @@ Feel free to use any approach while creating a PR. Here are a few suggestions fr
276276
- Consult the tasks noted in the PR template.
277277
- When merging, consider cleaning up the commit body.
278278
- Close any issues that were addressed by this PR.
279+
280+
## Troubleshooting
281+
282+
### After rebase, my branch doesn't build anymore
283+
284+
Please check in the commit log whether an upgrade of the dependencies (advancing of the `opam-repository` commit hash) has happened. If this is the case, running `dune pkg lock` should install the new dependencies.

0 commit comments

Comments
 (0)