From 8a73a37c0f46ec62a21649ecbf5fc4cbe39b1fbe Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Sat, 1 Mar 2025 09:54:31 +0000 Subject: [PATCH] Update OCaml compiler in CI and don't run on main push --- .github/workflows/build.yml | 3 --- .github/workflows/deploy.yml | 4 ++-- .github/workflows/test-alt-ergo.yml | 4 ++-- .github/workflows/test-bitwuzla.yml | 4 ++-- .github/workflows/test-colibri2.yml | 4 ++-- .github/workflows/test-cvc5.yml | 4 ++-- .github/workflows/test-z3.yml | 7 ++----- 7 files changed, 12 insertions(+), 18 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d959cbe7..307749f8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,9 +1,6 @@ name: Build on: - push: - branches: - - main pull_request: branches: - main diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 81975535..3b5bbe97 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -24,10 +24,10 @@ jobs: - name: Save .git run: mv .git /tmp/gitdir-smtml - - name: Setup OCaml 4.14 + - name: Setup OCaml 5.3 uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "4.14" + ocaml-compiler: "5.3" dune-cache: true - name: Setup Pages diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml index 1879dd4b..d188a49f 100644 --- a/.github/workflows/test-alt-ergo.yml +++ b/.github/workflows/test-alt-ergo.yml @@ -19,10 +19,10 @@ jobs: - name: Remove .git run: rm -rf .git - - name: Setup OCaml 4.14 + - name: Setup OCaml 5.3 uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "4.14" + ocaml-compiler: "5.3" dune-cache: true - name: Install dependencies diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml index 63381c44..d659512f 100644 --- a/.github/workflows/test-bitwuzla.yml +++ b/.github/workflows/test-bitwuzla.yml @@ -19,10 +19,10 @@ jobs: - name: Remove .git run: rm -rf .git - - name: Setup OCaml 4.14 + - name: Setup OCaml 5.3 uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "4.14" + ocaml-compiler: "5.3" dune-cache: false - name: Install dependencies diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml index 8f75172d..af0e40dc 100644 --- a/.github/workflows/test-colibri2.yml +++ b/.github/workflows/test-colibri2.yml @@ -19,10 +19,10 @@ jobs: - name: Remove .git run: rm -rf .git - - name: Setup OCaml 4.14 + - name: Setup OCaml 5.3 uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "4.14" + ocaml-compiler: "5.3" dune-cache: true - name: Install dependencies diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml index 3ce8abf8..7d49a65e 100644 --- a/.github/workflows/test-cvc5.yml +++ b/.github/workflows/test-cvc5.yml @@ -20,10 +20,10 @@ jobs: - name: Remove .git run: rm -rf .git - - name: Setup OCaml 4.14 + - name: Setup OCaml 5.3 uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "4.14" + ocaml-compiler: "5.3" dune-cache: true - name: Install dependencies diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml index 99fe9bc6..795bee78 100644 --- a/.github/workflows/test-z3.yml +++ b/.github/workflows/test-z3.yml @@ -1,9 +1,6 @@ name: Test Z3 on: - push: - branches: - - main pull_request: branches: - main @@ -22,10 +19,10 @@ jobs: - name: Remove .git run: rm -rf .git - - name: Setup OCaml 4.14 + - name: Setup OCaml 5.3 uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "4.14" + ocaml-compiler: "5.3" dune-cache: true - name: Install dependencies