Update OCaml compiler in CI and don't run on main push

formalsec · Mar 1, 2025 · 8a73a37 · 8a73a37
1 parent 030a5d6
commit 8a73a37
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 18 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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