DodoApp: Individually configure dev-vm code-server, ssh, vpn

Refactor openPortMap handling a bit.

Change-Id: I2ea4d4c9b090f2791700149dda6cc8dcd8ab6820
diff --git a/Jenkinsfile b/Jenkinsfile
index 9b5aae8..ff51d94 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,6 +36,7 @@
                 	dir('core/installer') {
                 		sh 'go mod tidy'
                 		sh 'go build cmd/*.go'
+						sh 'go run cuelang.org/go/cmd/cue fmt app_configs/*.cue --check'
                 		sh 'go test ./...'
 					}
                     dir('core/auth/memberships') {