FIx CI Docker

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2025-02-28 18:37:02 +03:00
parent 94ae4b5d34
commit d8dc84cf2c

View file

@ -13,7 +13,7 @@ jobs:
runs-on: ubuntu-24.04
container:
image: kakadu18/ocaml:lama
options: --user user
#options: --user user
steps:
- run: opam --version