Fix ci for MacOS (#483)

* Latest version of opam * Starting CI on branch 'fix-ci' * Adding depext
OCamlPro · Sep 13, 2021 · 2ca1a08 · 2ca1a08
1 parent f17d5cf
commit 2ca1a08
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/build_docker.yml b/.github/workflows/build_docker.yml
@@ -6,6 +6,7 @@ name: Build with ocp Docker container
 on:
   push:
     branches:
+      - fix-ci
       - next
       - main
 

diff --git a/.github/workflows/build_macos.yml b/.github/workflows/build_macos.yml
@@ -6,6 +6,7 @@ name: Build MacOS
 on:
   push:
     branches:
+      - fix-ci
       - next
       - main
 
@@ -57,12 +58,12 @@ jobs:
 
       # Install external dependencies
       # remove this step when opam 2.1 will be used
-      - name: opam install depext
-        run: opam depext alt-ergo-lib alt-ergo-parsers alt-ergo altgr-ergo
+      #- name: opam install depext
+      #  run: opam depext alt-ergo-lib alt-ergo-parsers alt-ergo altgr-ergo
 
       # Install dependencies
       - name: Install deps
-        run: opam install  ./*.opam --deps-only --with-test
+        run: opam install  ./*.opam --deps-only --with-test --depext
 
 
       # Build and install with opam

diff --git a/.github/workflows/build_windows.yml b/.github/workflows/build_windows.yml
@@ -4,6 +4,7 @@ name: Build Windows
 on:
   push:
     branches:
+      - fix-ci
       - next
       - main
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,6 +6,7 @@ name: Build with ocp Docker container @@
     on:
       push:
         branches:
+          - fix-ci
           - next
           - main
@@ Expand Down @@