Update dev domain

This commit is contained in:
amir houieh 2023-04-05 11:49:19 +02:00 committed by GitHub
parent a258a1fe6a
commit aa50ac272c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -21,7 +21,7 @@ pipeline {
GIT_COMMITTER_EMAIL = 'auto@status.im'
/* dev page settings
* TODO: update DEV_SITE env var and uncomment it before the build */
// DEV_SITE = 'dev.domain.com'
DEV_SITE = 'dev.afaik.institute'
DEV_HOST = 'jenkins@node-01.do-ams3.sites.misc.statusim.net'
SCP_OPTS = 'StrictHostKeyChecking=no'
}