Skip to content

Commit

Permalink
fix for Jenkinsfile
Browse files Browse the repository at this point in the history
  • Loading branch information
robamu committed Jun 16, 2024
1 parent 0907ab8 commit e349361
Showing 1 changed file with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions automation/Jenkinsfile
Original file line number Diff line number Diff line change
Expand Up @@ -13,29 +13,29 @@ pipeline {
}
}
stage('Clippy') {
steps {
sh 'cargo clippy'
}
steps {
sh 'cargo clippy'
}
}
stage('Rustfmt') {
steps {
sh 'cargo fmt'
}
steps {
sh 'cargo fmt'
}
}
stage('Docs') {
steps {
sh: cargo +nightly doc --all-features --config 'build.rustdocflags=["--cfg", "docs_rs"]'
}
steps {
sh 'cargo +nightly doc --all-features --config 'build.rustdocflags=["--cfg", "docs_rs"]'
}
}
stage('Check') {
steps {
sh 'cargo check --target thumbv6m-none-eabi'
}
steps {
sh 'cargo check --target thumbv6m-none-eabi'
}
}
stage('Check Examples') {
steps {
sh 'cargo check --target thumbv6m-none-eabi --examples'
}
steps {
sh 'cargo check --target thumbv6m-none-eabi --examples'
}
}
}
}

0 comments on commit e349361

Please sign in to comment.