diff options
| author | coqbot-app[bot] | 2020-12-02 09:41:31 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-02 09:41:31 +0000 |
| commit | b3b4d641dafe58ad04932c5bb5cc2f4f3f54d91f (patch) | |
| tree | e6081b839d134faebf821f31f705d668d44e6d15 /Makefile.ci | |
| parent | 2eeeba76598258bd5691a9825fd888c350fbcef3 (diff) | |
| parent | c79677a99b48f85b8c79215dd35476005eea2e11 (diff) | |
Merge PR #13472: [ci] Add job for gappa
Reviewed-by: SkySkimmer
Ack-by: ejgallego
Diffstat (limited to 'Makefile.ci')
| -rw-r--r-- | Makefile.ci | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.ci b/Makefile.ci index 9f08de662f..d549ed1b39 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -35,6 +35,7 @@ CI_TARGETS= \ ci-fiat_parsers \ ci-flocq \ ci-fourcolor \ + ci-gappa \ ci-geocoq \ ci-coqhammer \ ci-hott \ @@ -94,6 +95,7 @@ ci-metacoq: ci-equations ci-vst: ci-flocq ci-compcert: ci-menhir ci-flocq +ci-gappa: ci-flocq # Generic rule, we use make to ease CI integration $(CI_TARGETS): ci-%: |