Use dev branch in CI for now

Author: martinburchell

config/ci/init.sh

@@ -18,7 +18,7 @@ cd "${WORKSPACE_DIR}"
 # Pull in the server code.
 
 if [ ! -d "${INTERMINE_DIR}" ]; then
-    git clone --single-branch --depth 1 -b build-workflows https://github.com/ucam-department-of-psychiatry/intermine.git "${INTERMINE_DIR}"
+    git clone --single-branch --depth 1 -b dev https://github.com/ucam-department-of-psychiatry/intermine.git "${INTERMINE_DIR}"
 fi
 
 export PSQL_USER=test