SuccessConsole Output

Push event to branch master
15:51:26 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Obtained Jenkinsfile from 7d1eb4e5c33437a7c5c7debaa5e93d1961dc5b6e
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] withCredentials
Masking supported pattern matches of $GITHUB_TOKEN
[Pipeline] {
[Pipeline] withEnv
[Pipeline] {
[Pipeline] ansiColor
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Init title)
Stage "Init title" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build and Test)
Stage "Build and Test" skipped due to when conditional
[Pipeline] stage
[Pipeline] { (Dependencies)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: K)
[Pipeline] { (Branch: Tests)
[Pipeline] stage
[Pipeline] { (K)
[Pipeline] stage
[Pipeline] { (Tests)
Stage "K" skipped due to when conditional
[Pipeline] }
Stage "Tests" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build)
Stage "Build and Test" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test Execution)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: Conformance (LLVM))
[Pipeline] { (Branch: VM (Haskell))
[Pipeline] { (Branch: Conformance (Web3))
[Pipeline] { (Branch: Conformance (Truffle))
[Pipeline] stage
[Pipeline] { (Conformance (LLVM))
[Pipeline] stage
[Pipeline] { (VM (Haskell))
[Pipeline] stage
[Pipeline] { (Conformance (Web3))
[Pipeline] stage
[Pipeline] { (Conformance (Truffle))
Stage "Conformance (LLVM)" skipped due to when conditional
[Pipeline] }
Stage "VM (Haskell)" skipped due to when conditional
[Pipeline] }
Stage "Conformance (Web3)" skipped due to when conditional
[Pipeline] }
Stage "Conformance (Truffle)" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Proofs)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: Java + Haskell)
[Pipeline] { (Branch: Haskell (dry-run))
[Pipeline] stage
[Pipeline] { (Java + Haskell)
[Pipeline] stage
[Pipeline] { (Haskell (dry-run))
Stage "Java + Haskell" skipped due to when conditional
[Pipeline] }
Stage "Haskell (dry-run)" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test Interactive)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: LLVM krun)
[Pipeline] { (Branch: Java krun)
[Pipeline] { (Branch: Haskell krun)
[Pipeline] { (Branch: LLVM Kast)
[Pipeline] { (Branch: Failing tests)
[Pipeline] { (Branch: Java KLab)
[Pipeline] { (Branch: Haskell Search)
[Pipeline] { (Branch: KEVM help)
[Pipeline] stage
[Pipeline] { (LLVM krun)
[Pipeline] stage
[Pipeline] { (Java krun)
[Pipeline] stage
[Pipeline] { (Haskell krun)
[Pipeline] stage
[Pipeline] { (LLVM Kast)
[Pipeline] stage
[Pipeline] { (Failing tests)
[Pipeline] stage
[Pipeline] { (Java KLab)
[Pipeline] stage
[Pipeline] { (Haskell Search)
[Pipeline] stage
[Pipeline] { (KEVM help)
Stage "LLVM krun" skipped due to when conditional
[Pipeline] }
Stage "Java krun" skipped due to when conditional
[Pipeline] }
Stage "Haskell krun" skipped due to when conditional
[Pipeline] }
Stage "LLVM Kast" skipped due to when conditional
[Pipeline] }
Stage "Failing tests" skipped due to when conditional
[Pipeline] }
Stage "Java KLab" skipped due to when conditional
[Pipeline] }
Stage "Haskell Search" skipped due to when conditional
[Pipeline] }
Stage "KEVM help" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Update Dependents)
[Pipeline] build
Scheduling project: rv-devops » master
[Pipeline] build
Scheduling project: rv-devops » master
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // withCredentials
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS