search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

add '-k path' option to opam in travis to avoid remote packages in CI #68

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

I've seen some weird behavior from unqualified opam pin add [...] ., i.e., when pinning the current directory. This change ensures that local directories are always used in Travis.