force dune 2.9 in CI

This commit is contained in:
Simon Cruanes 2022-02-21 15:31:17 -05:00
parent ef9851983f
commit eadfa4981a
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -38,6 +38,8 @@ jobs:
- run: opam install -t containers containers-data containers-thread --deps-only
if: matrix.os == 'ubuntu-latest'
- run: opam pin dune 2.9.3 -y -n
- run: |
opam install -t containers --deps-only
opam install containers-data containers-thread --deps-only # no test deps