From 050b6545922db06dc935b9a223b08af12798e709 Mon Sep 17 00:00:00 2001 From: Tim Nelson Date: Tue, 15 Oct 2024 11:15:22 -0400 Subject: [PATCH] update: CI --- .github/workflows/continuousIntegration.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/continuousIntegration.yml b/.github/workflows/continuousIntegration.yml index 1b723b3a..0f029686 100644 --- a/.github/workflows/continuousIntegration.yml +++ b/.github/workflows/continuousIntegration.yml @@ -29,6 +29,8 @@ jobs: java-version: '11' - name: Install cvc5 for SMT (Theory of Relations) backend engine run: | + apt-get update + apt-get install -y wget unzip wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cvc5-Linux-x86_64-static.zip unzip cvc5-Linux-x86_64-static.zip export PATH=$PATH:`pwd`/cvc5-Linux-x86_64-static/bin