aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-iris-lambda-rust.sh
Commit message (Expand)AuthorAge
* CI: extract iris git version without using opamGravatar Ralf Jung2018-04-18
* fix iris-lambda-rust CIGravatar Ralf Jung2018-04-18
* Improve shell scriptsGravatar zapashcanon2018-04-05
* CI: Run coqchk on IrisGravatar Ralf Jung2018-01-31
* rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19