Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
.gitlab-ci.yml
Find file
Blame
History
Permalink
trigger opam-update repo after successful CI build
· 5d5f47b5
Ralf Jung
authored
Sep 18, 2017
5d5f47b5
Validating GitLab CI configuration…
Learn more