diff options
| author | coqbot-app[bot] | 2020-09-04 12:35:44 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-04 12:35:44 +0000 |
| commit | 99a9e6b938e8d9237779d384bc8295c1f30cbdce (patch) | |
| tree | f45ee4142bec0409b73f54ab2332a13fda824a2c /Makefile.ci | |
| parent | d6e8e8cba62cdfa46b1e4dfbfd6fed55b2d72df5 (diff) | |
| parent | eec818eb30876727d31c9aa727be842578244d26 (diff) | |
Merge PR #12969: CI: build Iris examples instead of lambda-Rust
Reviewed-by: SkySkimmer
Diffstat (limited to 'Makefile.ci')
| -rw-r--r-- | Makefile.ci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.ci b/Makefile.ci index 85e4b965f9..af78f252df 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -37,7 +37,7 @@ CI_TARGETS= \ ci-geocoq \ ci-coqhammer \ ci-hott \ - ci-lambda_rust \ + ci-iris \ ci-math_classes \ ci-mathcomp \ ci-metacoq \ |