fix(Jenkins): remove caching (#945)

* Update Jenkinsfile.prs
This commit is contained in:
G 2022-04-19 12:51:27 +02:00 committed by GitHub
parent cb11c192d6
commit f59876caeb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -45,13 +45,8 @@ pipeline {
/* Avoid checking multiple times. */ /* Avoid checking multiple times. */
v1changed = versionWasChanged('v1') v1changed = versionWasChanged('v1')
v2changed = versionWasChanged('v2') v2changed = versionWasChanged('v2')
/* Building Nim compiler takes a while. */ /* TODO: Re-add caching of Nim compiler. */
cache(maxCacheSize: 250, caches: [[
$class: 'ArbitraryFileCache', excludes: '', includes: '**/*',
path: 'vendor/nimbus-build-system/vendor/Nim/bin',
]]) {
sh "make V=${params.VERBOSITY} update" sh "make V=${params.VERBOSITY} update"
}
sh "make V=${params.VERBOSITY} deps" sh "make V=${params.VERBOSITY} deps"
} } } } } }