Skip to content

Commit ad95965

Browse files
committed
Update releasing documentation
1 parent b129fab commit ad95965

1 file changed

Lines changed: 9 additions & 6 deletions

File tree

docs/developer-guide/releasing.md

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,8 @@
2424

2525
All changes must be committed because the working tree is not checked.
2626

27+
The warning `[FAIL] opam field doc cannot be parsed by dune-release` is fine and can be ignored (see <https://github.com/ocamllabs/dune-release/issues/154>).
28+
2729
8. Check that "unlocked" workflow passes on GitHub Actions.
2830

2931
It can be run manually on the release branch for checking.
@@ -36,12 +38,13 @@
3638
1. Pull Docker image: `docker pull ocaml/opam:ubuntu-22.04-ocaml-4.14` (or newer).
3739
2. Extract distribution archive.
3840
3. Run Docker container in extracted directory: `docker run -it --rm -v $(pwd):/goblint ocaml/opam:ubuntu-22.04-ocaml-4.14` (or newer).
39-
4. Navigate to distribution archive inside Docker container: `cd /goblint`.
40-
5. Install and test package from distribution archive: `opam-2.1 install --with-test .`.
41-
6. Activate opam environment: `eval $(opam env)`.
42-
7. Check version: `goblint --version`.
43-
8. Check that analysis works: `goblint -v tests/regression/04-mutex/01-simple_rc.c`.
44-
9. Exit Docker container.
41+
4. Update opam-repository from git: `opam-2.1 repository add git git+https://github.com/ocaml/opam-repository.git && opam-2.1 update`.
42+
5. Navigate to distribution archive inside Docker container: `cd /goblint`.
43+
6. Install and test package from distribution archive: `opam-2.1 install --with-test .`.
44+
7. Activate opam environment: `eval $(opam env)`.
45+
8. Check version: `goblint --version`.
46+
9. Check that analysis works: `goblint -v tests/regression/04-mutex/01-simple_rc.c`.
47+
10. Exit Docker container.
4548

4649
12. Temporarily enable Zenodo GitHub webhook.
4750

0 commit comments

Comments
 (0)