small jenkinsfile fix
Some checks failed
Rust/spacepackets/pipeline/head There was a failure building this commit

This commit is contained in:
Robin Müller 2022-08-16 10:38:06 +02:00
parent c5b16f006f
commit 72b8f45161
No known key found for this signature in database
GPG Key ID: 71B58F8A3CDFA9AC

View File

@ -30,7 +30,7 @@ pipeline {
}
stage('Check Cross') {
steps {
sh 'cross check --target thumbv7em-none-eabihf --no-default-features'
sh 'cargo check --target thumbv7em-none-eabihf --no-default-features'
}
}
}