CI: updated workflow actions

sealangdotorg · Apr 2, 2020 · ea7af2d · ea7af2d
1 parent 5b6bb8d
commit ea7af2d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -48,7 +48,8 @@ jobs:
     - name: Setup
       run: |
         make info
-        sudo apt-get install ninja-build
+        sudo apt-get update
+        sudo apt-get install -y ninja-build
         sudo apt-get install -y libz3-dev
         make ci-tools
     - name: Fetching

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -48,7 +48,8 @@ jobs:
     - name: Setup
       run: |
         make info
-        sudo apt-get install ninja-build
+        sudo apt-get update
+        sudo apt-get install -y ninja-build
         make ci-tools
     - name: Fetching
       env: