From 2fc16b6a5b8e3f27fa5f2b1b33412e0f8c183e40 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <14821693+samuelchassot@users.noreply.github.com>
Date: Fri, 6 Sep 2024 11:10:15 +0200
Subject: [PATCH] Few changes Matt suggested to CI (#1575)

* few changes Matt suggested

* rename nightly
---
 .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"