Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
Makefile.dev
Find file
Blame
History
Permalink
Build: don't run opam-test before pushing; otherwise the release are not computed correctly
· 4e618506
erwan
authored
Aug 22, 2019
4e618506