diff options
| author | Beta Ziliani | 2018-04-25 14:17:51 -0300 |
|---|---|---|
| committer | Beta Ziliani | 2018-04-25 15:22:57 -0300 |
| commit | f725580ecffa96cb0bfd526737586f7a36499286 (patch) | |
| tree | 29e98ebd4336ad53e46388efac4f868e956771cb /Makefile.ci | |
| parent | 6d4d16eb5518a9fb461e0f0433c9ce54d2197158 (diff) | |
updating CI for Mtac2
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 6b30f87232..37b14ed918 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -28,7 +28,7 @@ CI_TARGETS=ci-bignums \ ci-ltac2 \ ci-math-classes \ ci-math-comp \ - ci-metacoq \ + ci-mtac2 \ ci-sf \ ci-tlc \ ci-unimath \ |