From c1038e5b7772f9ee3a1d2a8c7e8848f6a76936cb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 4 Apr 2024 16:12:04 -0400 Subject: [PATCH] fix CI --- .github/workflows/main.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 0f509b9d..6cb1ca00 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -26,6 +26,9 @@ jobs: - name: Checkout code uses: actions/checkout@v3 + - run: sudo apt-get update + if: ${{ matrix.os == 'ubuntu-latest' }} + - name: Use OCaml ${{ matrix.ocaml-compiler }} uses: ocaml/setup-ocaml@v2 with: