diff options
| author | Czarek Nakamoto <cyjan@mrcyjanek.net> | 2025-07-10 02:58:24 +0200 |
|---|---|---|
| committer | Czarek Nakamoto <cyjan@mrcyjanek.net> | 2025-07-10 02:58:24 +0200 |
| commit | 30c4a102a5c8e1d059a46ed13a6b2c4abea82558 (patch) | |
| tree | d061d0b49a7114e92be757437c476e519f4c8a0d /contrib | |
| parent | 160663493702daf9408c50330d2ab894bbd234b5 (diff) | |
feat: force fast_builds on GitHub CI runs
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/depends/Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/depends/Jenkinsfile b/contrib/depends/Jenkinsfile index 6c4f1c2..8d5e50b 100644 --- a/contrib/depends/Jenkinsfile +++ b/contrib/depends/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { echo "Building dependencies for ${target}" dir('contrib/depends') { - sh "make HOST=${target}" + sh "make HOST=${target} DEPENDS_UNTRUSTED_FAST_BUILDS=yes" } } } @@ -68,7 +68,7 @@ pipeline { echo "Building dependencies for ${target}" dir('contrib/depends') { - sh "make HOST=${target}" + sh "make HOST=${target} DEPENDS_UNTRUSTED_FAST_BUILDS=yes" } } } |