Vinzent "Jellix" Saranen d922439249 Fixed CI build ...

Well, I hope it's fixed. We were still checking out the wrong (old) version of SI_Units.

2020-10-17 02:14:15 +02:00

..

ci-build.sh

Fixed CI build

2020-10-17 02:14:15 +02:00

ci-test.sh

* Use 'git diff --no-index' instead of 'diff'.

2020-06-11 13:06:35 +02:00