fix(ci): different name for nix builds in github comments
This commit is contained in:
parent
13b09987db
commit
2f1240602f
|
@ -54,7 +54,7 @@ pipeline {
|
||||||
}
|
}
|
||||||
|
|
||||||
environment {
|
environment {
|
||||||
PLATFORM = "linux/${getArch()}"
|
PLATFORM = "linux-nix/${getArch()}"
|
||||||
/* Improve make performance */
|
/* Improve make performance */
|
||||||
MAKEFLAGS = "-j4 V=${params.VERBOSE}"
|
MAKEFLAGS = "-j4 V=${params.VERBOSE}"
|
||||||
/* Avoid weird bugs caused by stale cache. */
|
/* Avoid weird bugs caused by stale cache. */
|
||||||
|
|
Loading…
Reference in New Issue