StepArgumentsStatus
Start of Pipeline - (36 min in block)Success
Bind credentials to variables : Start - (36 min in block)Console OutputSuccess
Bind credentials to variables : Body : Start - (36 min in block)Success
Set environment variables : Start - (36 min in block)ROOT_URL, PACKAGE, K_ROOT_URL, VERSION, K_VERSIONConsole OutputSuccess
Set environment variables : Body : Start - (36 min in block)Success
Color ANSI Console Output : Start - (36 min in block)xtermConsole OutputSuccess
Color ANSI Console Output : Body : Start - (36 min in block)Success
Stage : Start - (0.29 sec in block)Init titleConsole OutputSuccess
Init title - (0.1 sec in block)Success
Stage : Start - (19 sec in block)Build and TestConsole OutputSuccess
Build and Test - (19 sec in block)Success
Stage : Start - (0.22 sec in block)DependenciesConsole OutputSuccess
Dependencies - (68 ms in block)Success
Stage : Start - (0.22 sec in block)BuildConsole OutputSuccess
Build - (63 ms in block)Success
Stage : Start - (5.3 sec in block)Test ExecutionConsole OutputSuccess
Test Execution - (5.1 sec in block)Success
Execute in parallel : Start - (5 sec in block)Console OutputSuccess
Branch: Conformance (LLVM) - (10 ms in block)Success
Stage : Start - (4.3 sec in block)Conformance (LLVM)Console OutputSuccess
Conformance (LLVM) - (4.1 sec in block)Success
Branch: VM (Haskell) - (4 ms in block)Success
Stage : Start - (4.3 sec in block)VM (Haskell)Console OutputSuccess
VM (Haskell) - (4.1 sec in block)Success
Branch: Conformance (Web3) - (18 ms in block)Success
Stage : Start - (4.3 sec in block)Conformance (Web3)Console OutputSuccess
Conformance (Web3) - (4.1 sec in block)Success
Branch: Conformance (Truffle) - (4.6 sec in block)Success
Stage : Start - (0.44 sec in block)Conformance (Truffle)Console OutputSuccess
Conformance (Truffle) - (0.22 sec in block)Success
Stage : Start - (4.4 sec in block)ProofsConsole OutputSuccess
Proofs - (4.3 sec in block)Success
Execute in parallel : Start - (4.2 sec in block)Console OutputSuccess
Branch: Java - (8 ms in block)Success
Stage : Start - (0.25 sec in block)JavaConsole OutputSuccess
Java - (0.12 sec in block)Success
Branch: Haskell - (4 sec in block)Success
Stage : Start - (3.8 sec in block)HaskellConsole OutputSuccess
Haskell - (0.11 sec in block)Success
Stage : Start - (9.3 sec in block)Test InteractiveConsole OutputSuccess
Test Interactive - (9.2 sec in block)Success
Execute in parallel : Start - (9.1 sec in block)Console OutputSuccess
Branch: LLVM krun - (5 ms in block)Success
Stage : Start - (4 sec in block)LLVM krunConsole OutputSuccess
LLVM krun - (0.37 sec in block)Success
Branch: Java krun - (9 ms in block)Success
Stage : Start - (4.1 sec in block)Java krunConsole OutputSuccess
Java krun - (0.36 sec in block)Success
Branch: Haskell krun - (23 ms in block)Success
Stage : Start - (4.1 sec in block)Haskell krunConsole OutputSuccess
Haskell krun - (0.35 sec in block)Success
Branch: LLVM Kast - (4 ms in block)Success
Stage : Start - (4.1 sec in block)LLVM KastConsole OutputSuccess
LLVM Kast - (3.7 sec in block)Success
Branch: Failing tests - (4 ms in block)Success
Stage : Start - (4.1 sec in block)Failing testsConsole OutputSuccess
Failing tests - (3.7 sec in block)Success
Branch: Java KLab - (10 ms in block)Success
Stage : Start - (4.1 sec in block)Java KLabConsole OutputSuccess
Java KLab - (3.7 sec in block)Success
Branch: Haskell Search - (3 ms in block)Success
Stage : Start - (4.1 sec in block)Haskell SearchConsole OutputSuccess
Haskell Search - (3.7 sec in block)Success
Branch: KEVM help - (8 ms in block)Success
Stage : Start - (4.1 sec in block)KEVM helpConsole OutputSuccess
KEVM help - (3.7 sec in block)Success
Branch: Firefly - (4.7 sec in block)Success
Stage : Start - (4.2 sec in block)FireflyConsole OutputSuccess
Firefly - (3.7 sec in block)Success
Stage : Start - (36 min in block)ReleaseConsole OutputSuccess
Release - (36 min in block)Success
Allocate node : Start - (36 min in block)dockerConsole OutputSuccess
Allocate node : Body : Start - (36 min in block)Success
Stage : Start - (35 min in block)Test ReleaseConsole OutputSuccess
Test Release - (35 min in block)Success
Stage : Start - (1 min 18 sec in block)Checkout SCM - Download K ReleaseConsole OutputSuccess
Checkout SCM - Download K Release - (1 min 18 sec in block)Success
Change current directory : Start - (1 min 17 sec in block)Console OutputSuccess
Change current directory : Body : Start - (1 min 16 sec in block)Success
Check out from version control - (55 sec in self)Console OutputSuccess
Shell Script - (4.8 sec in self) k_commit_short=$(cd deps/k && git rev-parse --short HEAD) K_RELEASE="${K_ROOT_URL}/v${K_VERSION}-${k_commit_short}" curl --fail --location "${K_RELEASE}/kframework_${K_VERSION}_amd64_bionic.deb" --output kframework-bionic.deb curl --fail --location "${K_RELEASE}/kframework_${K_VERSION}_amd64_buster.deb" --output kframework-buster.deb # curl --fail --location "${K_RELEASE}/kframework-git-${K_VERSION}-1-x86_64.pkg.tar.xz" --output kframework-git.pkg.tar.xz Console OutputSuccess
Stash some files to be used later in the build - (6.5 sec in self)bionic-kframeworkConsole OutputSuccess
Stash some files to be used later in the build - (9.6 sec in self)buster-kframeworkConsole OutputSuccess
Stage : Start - (20 min in block)Build Ubuntu Bionic PackageConsole OutputSuccess
Build Ubuntu Bionic Package - (20 min in block)Success
Get contextual object from internal APIs - (88 ms in self)Console OutputSuccess
Checks if running on a Unix-like node - (62 ms in self)Console OutputSuccess
Read file from workspace - (0.12 sec in self)Console OutputSuccess
Shell Script - (0.39 sec in self)Console OutputSuccess
Record trace of a Docker image used in FROM - (0.51 sec in self)1dab81003ac4539c4172c630b6d9b66b0da5fff3Console OutputSuccess
Shell Script - (4.4 sec in self)docker inspect -f . 1dab81003ac4539c4172c630b6d9b66b0da5fff3Console OutputSuccess
Run build steps inside a Docker container : Start - (20 min in block)Console OutputSuccess
Run build steps inside a Docker container : Body : Start - (20 min in block)Success
Change current directory : Start - (20 min in block)Console OutputSuccess
Change current directory : Body : Start - (20 min in block)Success
Check out from version control - (59 sec in self)Console OutputSuccess
Restore files previously stashed - (10 sec in self)bionic-kframeworkConsole OutputSuccess
Shell Script - (18 min in self) sudo apt-get update && sudo apt-get upgrade --yes sudo apt-get install --yes ./kframework-bionic.deb cp -r package/debian ./ cp package/ubuntu/* debian dpkg-buildpackage --no-sign Console OutputSuccess
Stash some files to be used later in the build - (71 ms in self)Console OutputSuccess
Stage : Start - (13 min in block)Test Ubuntu Bionic PackageConsole OutputSuccess
Test Ubuntu Bionic Package - (13 min in block)Success
Enforce time limit : Start - (13 min in block)Console OutputSuccess
Enforce time limit : Body : Start - (13 min in block)Success
Get contextual object from internal APIs - (40 ms in self)Console OutputSuccess
Checks if running on a Unix-like node - (34 ms in self)Console OutputSuccess
Read file from workspace - (65 ms in self)Console OutputSuccess
Shell Script - (0.31 sec in self)Console OutputSuccess
Record trace of a Docker image used in FROM - (0.19 sec in self)1dab81003ac4539c4172c630b6d9b66b0da5fff3Console OutputSuccess
Shell Script - (0.33 sec in self)docker inspect -f . 1dab81003ac4539c4172c630b6d9b66b0da5fff3Console OutputSuccess
Run build steps inside a Docker container : Start - (13 min in block)Console OutputSuccess
Run build steps inside a Docker container : Body : Start - (13 min in block)Success
Change current directory : Start - (13 min in block)Console OutputSuccess
Change current directory : Body : Start - (13 min in block)Success
Restore files previously stashed - (98 ms in self)Console OutputSuccess
Shell Script - (13 min in self)Console OutputSuccess
Stage : Start - (49 sec in block)Deploy ReleaseConsole OutputSuccess
Deploy Release - (49 sec in block)Success
Stage : Start - (47 sec in block)Build Source TarballConsole OutputSuccess
Build Source Tarball - (47 sec in block)Success
Get contextual object from internal APIs - (69 ms in self)Console OutputSuccess
Checks if running on a Unix-like node - (54 ms in self)Console OutputSuccess
Read file from workspace - (97 ms in self)Console OutputSuccess
Shell Script - (47 sec in self)Console OutputFailed
Stage : Start - (0.64 sec in block)Deploy Jello PaperConsole OutputSuccess
Deploy Jello Paper - (0.44 sec in block)Success
Stage : Start - (0.19 sec in block)Build Debian Buster PackageConsole OutputSuccess
Build Debian Buster Package - (50 ms in block)Success
Stage : Start - (0.19 sec in block)Test Debian Buster PackageConsole OutputSuccess
Test Debian Buster Package - (59 ms in block)Success
Stage : Start - (0.21 sec in block)Build Homebrew BottleConsole OutputSuccess
Build Homebrew Bottle - (63 ms in block)Success
Stage : Start - (0.19 sec in block)Test Homebrew BottleConsole OutputSuccess
Test Homebrew Bottle - (53 ms in block)Success
Stage : Start - (0.19 sec in block)Upload ReleaseConsole OutputSuccess
Upload Release - (54 ms in block)Success
Stage : Start - (0.19 sec in block)Update Firefly DependenciesConsole OutputSuccess
Update Firefly Dependencies - (55 ms in block)Success
Send Slack Message - (0.27 sec in self)Console OutputSuccess