Skip to content
GitLab
Explore
Sign in
concordium
smart-contract-interactions
Repository
smart-contract-interactions
.gitlab-ci.yml
Find file
Blame
History
Permalink
Drop support for Coq 8.7
· c66e14a1
Jakob Botsch Nielsen
authored
Mar 08, 2019
Coq 8.7 does not support notation patterns.
c66e14a1
Validating GitLab CI configuration…
Learn more