Skip to content
GitLab
Explore
Sign in
Robbert Krebbers
ra-gps
Repository
sra-gps
.gitlab-ci.yml
Find file
Blame
History
Permalink
use opam-based CI
· cbf35dd5
Ralf Jung
authored
Dec 14, 2016
cbf35dd5
Validating GitLab CI configuration…
Learn more