Add opam pin revert step to releasing guide

goblint · Nov 27, 2023 · 6d4f9e7 · 6d4f9e7
1 parent ed5f259
commit 6d4f9e7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/developer-guide/releasing.md b/docs/developer-guide/releasing.md
@@ -57,6 +57,7 @@
 
 15. Create an opam package: `dune-release opam pkg`.
 16. Submit the opam package to opam-repository: `dune-release opam submit`.
+17. Revert temporary removal of opam pins.
 
 
 ## SV-COMP