[EnvInject] - Loading node environment variables.
workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp_testboard Building remotely on
Acquired controller cache lock.
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg pull
https://foss.heptapod.net/isa-afp/afp-testboard/ pulling from
Controller cache lock released.
Acquired agent node cache lock for node workermta1.
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg bundle --base f8f7720a745155f72a7c7741430c07f909174793 --base 6328e25d6d57bce4c1e5f02a034e7c4a825d2514 --base a2b3a17e295d965452d2b62c0e07f3a807dbafd1 --base 5f2eb2ceef5125a76d175cb6581de9ebcbd2fd17 --base 323c29c97a1e631864dab9bb2485d68cc937c308 --base de025214e3963beefec8d379e732e63ebe4d3459 --base 6605df023b1a460037b890a8ad14fe8765137660 --base fd1d5b3fdd7c7d11da907dfbb80dafabebcb7fc2 --base daa87ea0470c7d04bd68f91037b051d8ae4466a1 --base f7321f5a8909e20b43b259a1241d133d196f60e7 --base a040f98f10efa99a7099c0c4d3c01c2e4ccb7daf --base ff876ac75e4455d8a0529b6748b95a310fbd220b --base ab11d512034650dfe402f333c7b5bc1420ae12df --base d2ac6cb14eff7eab402cf54b3a3fcc73e2394c21 --base bb160115a2179f3f3125a7176360f59e453c8482 --base b8423de2be60300566ae72d197b6edefa22a0a03 --base 62b5836207b02ee304c9a7422094563c6da2fc5e --base 3b5ff4b8d37de016c42ca714ecd26c16ea3a8b15 --base 3ce8f73d277bc9542a75434a119ac508de1102e8 --base e5c7e627467e0868e5e50845abf1338436bc7b77 --base 90e3fddb287966f14e71fc0a46e6527822a911b7 --base fbb6f64ec146057b3a43d9ca8e997312b3d39e0d --base 6c51623b69037f6c469b97095cce94c275a30481 --base 2353eca7413d2a2ef053a7886bdf29acf5e584a7 --base cf49f0e51439c3316ac2f18b15bdff23607ca73e --base 543e7034281e51b9e94cf2ea6f6486318101fd4d --base af65d980630d52eadddaa5af581e15dc837af6d6 --base 8c33db4363a7ebacce399f7c169478a7542f7b30 --base 91bcd8449699d802d08890de12b5196b80fc3c65 --base f8af48a3389c65e0bc399c5cae74b8db41ba1be2 --base b685c8a84770547ae352659944faa0f44545d379 --base d109dfa32e8471a8c7365973a8ebed30c0b1d287 --base c71d324c55979a41b1c10c9c3449f68827617f9a --base 8f2429a458251704dc25138f1a1f8e8d0bbc977a --base a17c0e8185a332414fc0d8e6df8b24781aaaa541 --base bcd9b782db6187d07c5581cb6d3291bd1aca04ec --base 6d0bb896d78f06fae91274fd87d1003dcafc2761 --base 688515f82d561f0c1a4f315cbffe8a257a82ffe8 --base b308317162b7df1dd99945db68b173a6cb5bd10e --base 683864d6034e712d638e89a961ec7e31e0ff7454 --base 9bf90ad01ae45433de5ef3a873cd19d18d0bbd31 --base 52ba07b3539a17fd283c4c98d57f989e87765826 --base 2a3bd99f48380f3741b0f00239578918cb3a4501 --base f1ee628e62660e03eea4e62d75a7a4d7145ec4bf --base a13a877f8b74439d0cb87d0e81d35eb8cdaa6863 --base b7e275c25761243fffd634ef5853bcba7a053d57 --base 892baa00e066158d5562309718047310ec2253e7 --base ae2bd562df2cd44848e7139dbd65bfc554bad32c --base e1b99a8662cd2ec9b66d933c4a53271958a2fd58 --base eeb257e2a064aafa38ba961ca1df88a66e576217 --base 1d87653ae27fb524165a49bac8203bce24a965b6 --base d24cdcce27224767a37ee3908d4f34be009c19b2 --base 169cdde8779e7051cfaa735e51f2c62ab66d3407 --base 42ac9ee400e5dcc3954559e55e2511896663d007 --base f3d56c724d1dd0145d0850a42a1c5cc656fdf8eb --base fef0fb9427fcfbee9da37d520a4a721aa8287278 --base a0d561998f2062c89618bae1fe8bb34372f42db4 --base 617a5a4f9a57d3f02dc1901481fd7edde9205710 --base a619289e8f3dc44f5c682dc2b49dc5a1b58e7f8a --base cfe584ca9c4142b05eaa709497d363b319068284 --base 212c9b6124cfa95a3088a73e500185cc875733a1 --base ac20c230e8ea4746eeb2478f67e8972b9c898f7e --base b7198969805993b82e7731fd66d78a5307d45502 --base da8d3c6939273b651bea2ddc56e7bbb27bb7aa95 --base 944bac82ec1335235d4639cface4dcbe46d06842 --base 89824e792473c44dcc676586b3e97ef5378c8611 --base 042bcb2dc7841b496773e2935cd42289a3582033 --base aec7ba1a5b023b9a2b1f6a31d63cfa4be59c3fdf --base fbf8c78cd562775b5c550bf87b2ffe84856ef13b --base 90e6bfe365d78229de215750e5049ce3444d4e3d --base 4b9009c4aa53ea4c9bb1523e7665f0162c5adf6f --base da8616d5446e449a3d68d641613e82dddc090209 --base 0398de3e9f31ea9781d22f5e11f45d7e394c7337 --base c29ea17a53cb437141cfd1f43cd0bf7b2b6c2e35 --base c47a331f06f528227f08b904f9f08f3c67ea6814 --base 8bf1c879ed1d4cb4b2b1e429b8dda4fa959e6c3c --base dc46c0b56b8cbfd1c1d8f6cc08e437b4a897ca90 --base 0d9aa0e5af9ebc89436fe41e7bc2ce84a700cd8a --base 989558beb8d659184c280c6c07d7635cf2cfcd53 --base a9778aac5a3e1f142b6261aa34df0f4f4fa2030e --base 917841b204a3ae0ae67ea9f0b807cff6549e0b6a --base 37fe72879e4f568c205eb0b199cf46c58dbbd61b --base 840d842aa6913741ae33544957763ff81a709123 --base c6e884d1b3080f6c728656770a6b34a9a313dfcb --base 55ff832312b854b75439bfab37f347467f28fa70 --base 3e8d73aef5b6598689a2b1ccd64594c45b4bc3dc --base 5eccd898f468f172f0ee1fa8db490dc620f639e1 --base 43e3b75816e0195ecb318995beacefae6b3e3dff --base 78587d268ec7f53042da0a05f19a2ddf68fc74b7 --base ec9414e556b7541b87eee7bf962f994826b71242 --base 773bcb555b20e551d40ec450e5444d8db40eb9d2 --base d17e9c84e6db4f5fab7d110a9e118f7a443d4450 --base 96f75d83c2bc672d762c2c8d5fd2f7c28b059889 --base 1bf1e9ed4684c99c30333f9e51ffa9d0db330eca --base d7437189a0a30c9135b55a21f866f97794199da5 --base c698eec1f1f94a6be01349ac3eb01d4a73a33254 --base 763ce3f4535aa654175411654a59ef9099f6fdec --base 64892e4eb63c60df17d4d2f8422b187071367c4d --base 28b19f4259ce26e84cab08c5cdb227de5ee8c51e --base 0c38ee0d6c01e204cc98cd3e3eafe247ec4f69f6 --base 87604cc60f21065e08aeb84fdcb0f34e8301a207 --base 6994bb90867aa79406246faef9a79e80079f4f63 --base c21edb091651e0cd05d12d29a729309cb9f599d7 --base d6b016c0771e6e86324a793fe40d4272853b81f5 --base d2f9db174f445209ef2f42d48e0bc46370e0d5fc --base 811e3fb63bb732cfdd5322e36315928bff994851 --base 5c4cfd838e2fd85db2d385fed770b4d78214f2ef --base e6b320c3cb212a8f31551f4387979cca6ef6f080 --base 1c55d325de03f8186cde7254749f37304e4a3c2c --base e1a603e46ea76b411db4ae0c508c81d9e13ab137 --base d15ac73612a3d9abe573d3627c91e20f3b31dcb2 --base 3969ef2856a0a5abc1d5fbef05c76e8d9d7c2b52 --base 9620cf7a48b995b4c44975079c23b130a9ba107a --base 4112beffdb476da4308f0de3140fd8c30363d2c0 --base 8e995d947fb05b350a49ac3aaa2687f01e807996 --base 249c2b58d173a123bf7d627746d2f21b7a9b57e5 --base ad14484777fcf362a44b73d51cc6c21db193f09a --base e3e858bfc9eb5a6bf09ba22403266c95d7e22375 --base 4bea345493dd2fcfcb196cf42258858d06ddf7b8 --base c261a0c41e52a7756369f12937b84e48b76e00cf xfer-workermta1.hg
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg unbundle xfer.hg
added 1 changesets with 1 changes to 1 files
new changesets 6a40d725effa (1 drafts)
(run 'hg update' to get a working copy)
Agent node cache lock released for node workermta1.
[afp] $ /usr/bin/hg pull --rev default /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard
pulling from /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard
[afp] $ /usr/bin/hg update --clean --rev default
1 files updated, 0 files merged, 0 files removed, 0 files unresolved
[afp] $ /usr/bin/hg log --rev . --template {node}
[afp] $ /usr/bin/hg log --rev . --template {rev}
[afp] $ /usr/bin/hg log --rev f8f7720a745155f72a7c7741430c07f909174793 --template exists\n
[afp] $ /usr/bin/hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(f8f7720a745155f72a7c7741430c07f909174793)" --encoding UTF-8 --encodingmode replace
[EnvInject] - Executing scripts and injecting environment variables after the SCM step.
[EnvInject] - Injecting as environment variables the properties content
[EnvInject] - Variables injected successfully. [afp_testboard] $ /bin/sh -xe /tmp/jenkins15406737438521300423.sh http://isabelle.in.tum.de/repos/isabelle/ + hg pull http://isabelle.in.tum.de/repos/isabelle/ ab Rufe von https://isabelle.in.tum.de/repos/isabelle/ echte Adresse ist Fügte 3075 Änderungssätze mit 7451 Änderungen an 1383 Dateien hinzu new changesets 204273f3a30e:b41c8fce442d (führe "hg update" aus, um ein Arbeitsverzeichnis zu erstellen) 1320 Dateien aktualisiert, 0 Dateien zusammengeführt, 53 Dateien entfernt, 0 Dateien ungelöst [afp_testboard] $ /bin/sh -xe /tmp/jenkins2804031203204062726.sh ### Building Isabelle/Scala (/media/data/jenkins/workspace/afp_testboard/lib/classes/isabelle.jar) ... ### Building graph browser (/media/data/jenkins/workspace/afp_testboard/lib/classes/isabelle_graphbrowser.jar) ... Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. ### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/afp_testboard/lib/classes/isabelle_admin.jar) ... # Run eval $(opam env) to update the current shell environment [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
[NOTE] Package zarith is already installed (current version is 1.12). stack will use a sandboxed GHC it installed For more information on paths, see 'stack path' and 'stack exec env' To use this GHC and packages outside of a project, consider using: stack ghc, stack ghci, stack runghc, or stack exec The Glorious Glasgow Haskell Compilation System, version 8.10.7 Build step 'Execute shell' marked build as failure Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds