Home Explore Help
Sign In
Leo
/
oclaunch
mirror of https://gitlab.com/WzukW/oclaunch.git
1
1
Fork 0
Files Issues Wiki
Browse Source

Normalise name of oclaunch pin for CI

 + coherent with the name in opam file
Leo 8 years ago
parent
7fc5e0eb0c
commit
0091998b60
1 changed files with 1 additions and 1 deletions
Unified View Show Diff Stats
  1. 1 1
      gitlab-ci.sh

+ 1 - 1
gitlab-ci.sh
View File 

@@ -29,7 +29,7 @@ opam install ocamlfind
 
 opam install alcotest oUnit
 
 opam install alcotest oUnit
 
 
 
 # Installing dependancies and testing installation
 
 # Installing dependancies and testing installation
 
-opam pin add oclaunch-ci .
 
+opam pin add oclaunch .
 
 echo "============"
 
 echo "============"
 
 
 
 # Run test if OC_NOTEST is false
 
 # Run test if OC_NOTEST is false