Jenkinsfile: follow new formatting guidelines, remove uneeded stuffs

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

9 stars 6 forks source link

Jenkinsfile: follow new formatting guidelines, remove uneeded stuffs #93

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

Yeah, that was intended. There is only ever one node used, so the reuseNode was not useful. And the when clauses are not useful because we would want to run all the tests on both PRs and master branches. This Jenkinsfile comes from before we had ironed out that.