Code

Add scripts for CI#1574

Code

Merged

vkuncak merged 25 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom samuelchassot:sam/CI-scriptssamuelchassot/stainless:sam/CI-scriptsCopy head branch name to clipboardSep 4, 2024

+276-6

Commits

Commits on Sep 3, 2024

• new scripts to run tests and bolts locally

  samuelchassot

  committed
  81b748b

  Copy full SHA for 81b748b

• add a message in scripts

  samuelchassot

  committed
  403ff2e

  Copy full SHA for 403ff2e

• echo a message when CI successfull

  samuelchassot

  committed
  7463c9e

  Copy full SHA for 7463c9e

• add timing information to CI script

  samuelchassot

  committed
  afd3d8b

  Copy full SHA for afd3d8b

• final message in the CI script

  samuelchassot

  committed
  488d719

  Copy full SHA for 488d719

Commits on Sep 4, 2024

• new ci scripts + github actions start

  samuelchassot

  committed
  c466c26

  Copy full SHA for c466c26

• recursive suvbmodules in github actions

  samuelchassot

  committed
  ac65a59

  Copy full SHA for ac65a59

• new java options same as in jvmopts

  samuelchassot

  committed
  57850f8

  Copy full SHA for 57850f8

• add run tests steps

  samuelchassot

  committed
  c9e19dc

  Copy full SHA for c9e19dc

• add bolts tests

  samuelchassot

  committed
  63bd368

  Copy full SHA for 63bd368

• new script + new ci with 2 jobs

  samuelchassot

  committed
  c75ba8d

  Copy full SHA for c75ba8d

• missing checkout

  samuelchassot

  committed
  6404211

  Copy full SHA for 6404211

• add install solvers options

  samuelchassot

  committed
  80bf3d0

  Copy full SHA for 80bf3d0

• test solvers

  samuelchassot

  committed
  c70385d

  Copy full SHA for c70385d

• wrong version of cvc54

  samuelchassot

  committed
  dcb62a7

  Copy full SHA for dcb62a7

• new cvc5

  samuelchassot

  committed
  28977df

  Copy full SHA for 28977df

• cvc5

  samuelchassot

  committed
  df8f1cf

  Copy full SHA for df8f1cf

• run on selfhosted

  samuelchassot

  committed
  fe28192

  Copy full SHA for fe28192

• cvc5 1.1.2 to work on laraquad

  samuelchassot

  committed
  d883f21

  Copy full SHA for d883f21

• test soilvers are available

  samuelchassot

  committed
  e59f0db

  Copy full SHA for e59f0db

• ,2

  samuelchassot

  committed
  f730eb2

  Copy full SHA for f730eb2

• new path for solvers

  samuelchassot

  committed
  2992da6

  Copy full SHA for 2992da6

• remove skip tests

  samuelchassot

  committed
  d41aa60

  Copy full SHA for d41aa60

• 2 workflows: nightly, and CI for PR and pushes to main

  samuelchassot

  committed
  cfe9f94

  Copy full SHA for cfe9f94

• move sbt plugin to CI

  samuelchassot

  committed
  4e69854

  Copy full SHA for 4e69854