update jenkinsfile
Rust/max116xx-10bit/pipeline/head This commit looks good Details
Rust/max116xx-10bit/pipeline/pr-main This commit looks good Details

there are now examples
This commit is contained in:
Robin Müller 2021-12-14 14:12:10 +01:00
parent c2255f2da9
commit cc0680ea63
No known key found for this signature in database
GPG Key ID: 71B58F8A3CDFA9AC
1 changed files with 0 additions and 12 deletions

View File

@ -36,17 +36,5 @@ pipeline {
sh 'cargo check --target armv7-unknown-linux-gnueabihf'
}
}
stage('Check Examples') {
agent {
dockerfile {
dir 'automation'
reuseNode true
}
}
steps {
sh 'cargo check --target thumbv6m-none-eabi --examples'
sh 'cargo check --target armv7-unknown-linux-gnueabihf'
}
}
}
}