Merge pull request #376 from sigp/remove-jenkins

Removed Jenkinsfile since we have now migrated to GitLab.
This commit is contained in:
Paul Hauner 2019-05-14 11:29:14 +10:00 committed by GitHub
commit 733723a0e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

34
Jenkinsfile vendored
View File

@ -1,34 +0,0 @@
pipeline {
agent {
dockerfile {
filename 'Dockerfile'
args '-v cargo-cache:/cache/cargocache:rw -e "CARGO_HOME=/cache/cargocache"'
}
}
stages {
stage('Build') {
steps {
sh 'cargo build --verbose --all'
sh 'cargo build --verbose --all --release'
}
}
stage('Check') {
steps {
sh 'cargo fmt --all -- --check'
// No clippy until later...
//sh 'cargo clippy'
}
}
stage('Test') {
steps {
sh 'cargo test --verbose --all'
sh 'cargo test --verbose --all --release'
sh 'cargo test --manifest-path eth2/state_processing/Cargo.toml --verbose \
--release --features fake_crypto'
sh 'cargo test --manifest-path eth2/state_processing/Cargo.toml --verbose \
--release --features fake_crypto -- --ignored'
}
}
}
}