Moved scripts to other repo, CI setup

2025-12-17 08:39:02 +00:00 · 2019-05-08 20:58:13 -04:00
parent 0acffff609
commit 0e998eaf9b
49 changed files with 597 additions and 905 deletions
--- a/jenkins/build.sh
+++ b/jenkins/build.sh
@@ -1,4 +1 @@
 #!/usr/bin/env bash
-
-git submodule init
-git submodule update --remote