Merge pull request #216 from Zilliqa/ci-fix

fix: boost libs in CI after Scilla deps refactoring
Zilliqa · Feb 11, 2021 · 9db3fcb · 9db3fcb
2 parents 0d96092 + 7951560
commit 9db3fcb
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -10,7 +10,7 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - ubuntu-20.04
+          - ubuntu-18.04
         ocaml-version:
           - 4.08.1
 
@@ -33,11 +33,14 @@ jobs:
         with:
           ocaml-version: ${{ matrix.ocaml-version }}
 
+      - name: boost
+        run: sudo apt-get update && sudo apt-get install -yq libboost-system-dev libboost-test-dev
+
       - run: opam pin add scilla.dev git+https://github.com/Zilliqa/scilla\#master --no-action
 
       - run: opam depext scilla --yes
 
-      - run: opam install scilla
+      - run: opam install --verbose scilla
 
       - run: opam exec -- scilla-checker -gaslimit 10000 -libdir "$(opam var scilla:lib)/stdlib" contracts/gzil.scilla
       - if: ${{ always() }}