diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-29 13:07:45 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-05-01 13:17:05 -0400 |
commit | 8dc2adfd102185c6c3c4b61709f2b55aefab2641 (patch) | |
tree | 26faef398b63f3a8ddc4f32634875c8405d2446c /Makefile.ci | |
parent | 8511d1d9d903e419543e39eca83c64171da2663b (diff) |
Add bmsherman/topology to the ci
This development of @bmsherman tests universe polymorphism and setoid
rewriting in type, and should build with v8.6 and trunk.
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 4c4606aff..013685218 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -1,7 +1,7 @@ CI_TARGETS=ci-all ci-hott ci-math-comp ci-compcert ci-sf ci-cpdt \ ci-color ci-math-classes ci-tlc ci-fiat-crypto ci-fiat-parsers \ ci-coquelicot ci-flocq ci-iris-coq ci-metacoq ci-geocoq \ - ci-unimath ci-vst ci-bedrock-src ci-bedrock-facade + ci-unimath ci-vst ci-bedrock-src ci-bedrock-facade ci-formal-topology .PHONY: $(CI_TARGETS) |