This commit is contained in:
parent
da48c8b116
commit
87c51ba8fc
6
files/config/Jenkinsfile
vendored
6
files/config/Jenkinsfile
vendored
@ -1,16 +1,14 @@
|
|||||||
pipeline {
|
pipeline {
|
||||||
agent any
|
agent any
|
||||||
|
|
||||||
environment {
|
|
||||||
PATH = "/var/jenkins_home/.cargo/bin:${env.PATH}"
|
|
||||||
}
|
|
||||||
|
|
||||||
stages {
|
stages {
|
||||||
stage('CI') {
|
stage('CI') {
|
||||||
steps {
|
steps {
|
||||||
withChecks(name: 'Rust CI', includeStage: true) {
|
withChecks(name: 'Rust CI', includeStage: true) {
|
||||||
sh '''
|
sh '''
|
||||||
set -e
|
set -e
|
||||||
|
which rustc
|
||||||
|
which cargo
|
||||||
rustc --version
|
rustc --version
|
||||||
cargo --version
|
cargo --version
|
||||||
make ci
|
make ci
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user