Update Jenkinsfile
All checks were successful
gitea-sync/antos/pipeline/head This commit looks good

This commit is contained in:
Dany LE 2023-01-03 18:02:06 +01:00 committed by GitHub
parent 2620d2ccb6
commit 4e9806466a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
Jenkinsfile vendored
View File

@ -26,16 +26,18 @@ pipeline{
npm install uglifycss
npm install typescript
npm install @types/jquery
npm i typedoc@0.19.0
buildir="build"
[ -d "$buildir" ] && rm -rf "$buildir"
export BUILDDIR="$WORKSPACE/$buildir/opt/www/htdocs/os"
make release
make doc
'''
script {
// only useful for any master branch
//if (env.BRANCH_NAME =~ /^master/) {
archiveArtifacts artifacts: 'd.ts/, build/', fingerprint: true
archiveArtifacts artifacts: 'd.ts/, build/, doc/', fingerprint: true
//}
}
}