diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 34876be..ff763f7 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -12,9 +12,9 @@ jobs: - name: Checkout code uses: actions/checkout@v4 - name: Setup OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 5.00 + ocaml-compiler: 5.3 - name: Pin locally run: opam pin -y add -n . - name: Install locally diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2cd11e8..4c452a3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -7,9 +7,9 @@ jobs: - name: Checkout uses: actions/checkout@v4 - name: Setup OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 5.00 + ocaml-compiler: 5.3 - name: Install required packages run: sudo apt install ffmpeg - name: Pin package