Fixed CI build

Well, I hope it's fixed. We were still checking out the wrong (old) version of SI_Units.
HeisenbugLtd · Oct 17, 2020 · d922439 · d922439
1 parent 4ad4ab1
commit d922439
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/scripts/ci-build.sh b/.github/scripts/ci-build.sh
@@ -18,10 +18,10 @@ echo ............................
 # Download and install dependencies
 git clone https://github.com/HeisenbugLtd/si_units
 cd si_units
-git checkout v0.1.1
+git checkout v0.2.0
 cd ..
-gprbuild -p -P si_units/si_units_lib.gpr
-gprinstall -v -p -P si_units/si_units_lib.gpr
+gprbuild -p -P si_units/si_units.gpr
+gprinstall -v -p -P si_units/si_units.gpr
 
 # debug, list what's available
 gprinstall --list --stat