From ea7af2df9ddae637af20b1e363a0ceb8bb5284e3 Mon Sep 17 00:00:00 2001
From: Philipp Paulweber
Date: Thu, 2 Apr 2020 23:55:41 +0200
Subject: [PATCH] CI: updated workflow actions
---
.github/workflows/build.yml | 3 ++-
.github/workflows/nightly.yml | 3 ++-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 66b3a7e..35ea318 100644
--- 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
index 2af5d23..090b69f 100644
--- 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: