From b4658f77e4d872372ad49a867c708f4f91b70b97 Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Thu, 5 Sep 2024 08:38:52 +0200 Subject: [PATCH] few changes Matt suggested --- .github/workflows/stainless-CI.yml | 1 - stainless-ci.sh | 6 +++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml index 43c21141c..deb1664f2 100644 --- a/.github/workflows/stainless-CI.yml +++ b/.github/workflows/stainless-CI.yml @@ -1,7 +1,6 @@ name: Stainless CI on: pull_request: - types: [opened, synchronize, reopened, ready_for_review] push: branches: - main diff --git a/stainless-ci.sh b/stainless-ci.sh index 91d16fa6e..7c07f2277 100755 --- a/stainless-ci.sh +++ b/stainless-ci.sh @@ -79,7 +79,7 @@ if [ -n "$SOLVERS_DIR" ]; then mkdir -p "$SOLVERS_DIR" mkdir -p "$TEMP_DIR" # cvc5 - wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Linux-static.zip -O "$TEMP_DIR/downloaded.zip" + wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Linux-static.zip -O "$TEMP_DIR/downloaded.zip" -q unzip "$TEMP_DIR/downloaded.zip" -d "$TEMP_DIR" CVC5_DIR=$(ls "$TEMP_DIR" | grep cvc5) mv "$TEMP_DIR/$CVC5_DIR/bin/cvc5" "$SOLVERS_DIR/cvc5" @@ -87,12 +87,12 @@ if [ -n "$SOLVERS_DIR" ]; then rm -rf "$TEMP_DIR" # CVC4 - wget https://cvc4.cs.stanford.edu/downloads/builds/x86_64-linux-opt/cvc4-1.8-x86_64-linux-opt -O "$SOLVERS_DIR/cvc4" + wget https://cvc4.cs.stanford.edu/downloads/builds/x86_64-linux-opt/cvc4-1.8-x86_64-linux-opt -O "$SOLVERS_DIR/cvc4" -q chmod +x "$SOLVERS_DIR/cvc4" # z3 mkdir -p "$TEMP_DIR" - wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/z3-4.13.0-x64-glibc-2.35.zip -O "$TEMP_DIR/downloaded.zip" + wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/z3-4.13.0-x64-glibc-2.35.zip -O "$TEMP_DIR/downloaded.zip" -q unzip "$TEMP_DIR/downloaded.zip" -d "$TEMP_DIR" Z3_DIR=$(ls "$TEMP_DIR" | grep z3) mv "$TEMP_DIR/$Z3_DIR/bin/z3" "$SOLVERS_DIR/z3"