Add scripts for CI - Githubissues

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

359 stars 53 forks source link

Add scripts for CI #1574

Closed samuelchassot closed 2 months ago

samuelchassot commented 2 months ago

I also modified some of the existing scripts so that a local path to bolts can be passed if needed, default behaviour is still to clone bolts from github.

Some modifications on the bolts side are in the PR https://github.com/epfl-lara/bolts/pull/106, such as using --compact for the longer case studies.

samuelchassot commented 2 months ago

So there are 2 different workflows:

Stainless CI: packages stainless, runs test and integration tests, and packages and tests the plugin
Stainless Nightly: packages stainless, runs the bolts tests

The CI one runs on pushes to main and for each PR (non-draft), the nightly runs every night.