Merge pull request #385 from ftsrg/tracetimeout #2510
linux-build-test-deploy.yml
on: push
build
8m 6s
Matrix: test-docker
create-spec-transformation
13s
deploy-maven
0s
deploy-docs
1m 13s
collect-results
2m 45s
Annotations
21 warnings
build
Failed to save cache entry with path '/home/runner/.gradle/caches,/home/runner/.gradle/notifications,/home/runner/.gradle/.gradle-build-action,zstd-without-long,1.0' and key: v8-gradle|Linux|linux build-test-deploy-build[37a6259cc0c1dae299a7866489dff0bd]-f97c8b1b749a91efa2dd34af734bd60d9c68151a: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0xY+HaAAAAABBbk3AG1EjTLQsKtMqp/kKUEhYMzFFREdFMDIxMABFZGdl
|
build
Failed to save cache entry with path '/home/runner/.gradle/caches/modules-*/files-*/*/*/*/*,zstd-without-long,1.0' and key: dependencies-b62f804cb3bac787b7d0ed0a5fbc304a: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0w4+HaAAAAAAOgYdQLKO5TJzsVtovTKGrUEhYMzFFREdFMDIxMABFZGdl
|
build
Failed to save cache entry with path '/home/runner/.gradle/caches/*/kotlin-dsl/*/*,zstd-without-long,1.0' and key: kotlin-dsl-a9064f48c8380be1efea254d6490792c: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0wo+HaAAAAADeFFaMm1BfRp4OsdToElGVUEhYMzFFREdFMDIxMABFZGdl
|
build
Failed to save cache entry with path '/home/runner/.gradle/wrapper/dists/gradle-8.9-bin/90cnw93cvbtalezasaz0blq0a,zstd-without-long,1.0' and key: wrapper-zips-df6ecc383658ce44d9cbac4d1bfd12bf: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0wo+HaAAAAACevuwNrSWvS57YZy4GdAaTUEhYMzFFREdFMDIxMABFZGdl
|
build
Failed to save cache entry with path '/home/runner/.gradle/caches/8.9/generated-gradle-jars/gradle-api-8.9.jar,zstd-without-long,1.0' and key: generated-gradle-jars-26cfecc158c44513d188405a5d2d0d9c: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0wo+HaAAAAAAd0MFSqPJyTbIkF8Ge3t9KUEhYMzFFREdFMDIxMABFZGdl
|
build
Failed to save cache entry with path '/home/runner/.gradle/caches/jars-*/*,zstd-without-long,1.0' and key: instrumented-jars-b11857ce3de9db7e9bbeed428cf75f50: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0wo+HaAAAAACTiB56SnDvS7hf/ZLJPShKUEhYMzFFREdFMDIxMABFZGdl
|
build
Failed to restore v8-gradle|Linux|linux build-test-deploy-build[37a6259cc0c1dae299a7866489dff0bd]-f97c8b1b749a91efa2dd34af734bd60d9c68151a: Error: Cache service responded with 400
|
javadoc
Failed to save cache entry with path '/home/runner/.gradle/caches,/home/runner/.gradle/notifications,/home/runner/.gradle/.gradle-build-action,zstd-without-long,1.0' and key: v8-gradle|Linux|linux build-test-deploy-javadoc[37a6259cc0c1dae299a7866489dff0bd]-f97c8b1b749a91efa2dd34af734bd60d9c68151a: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0hpGHaAAAAAD1pqXbKRSkQ4X3/ZYpr6n9QkwyQUEyMDMwMTA4MDQ3AEVkZ2U=
|
javadoc
Failed to save cache entry with path '/home/runner/.gradle/caches/modules-*/files-*/*/*/*/*,zstd-without-long,1.0' and key: dependencies-ff11eb2acf7a04d17cabaef7adefb1d8: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0hJGHaAAAAAAtlLBmlhMqSaJoUAe/IIK7QkwyQUEyMDMwMTA4MDQ3AEVkZ2U=
|
javadoc
Failed to save cache entry with path '/home/runner/.gradle/caches/*/kotlin-dsl/*/*,zstd-without-long,1.0' and key: kotlin-dsl-a9064f48c8380be1efea254d6490792c: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0g5GHaAAAAADAIcwBqwnMQ604gNHXGCdDQkwyQUEyMDMwMTA4MDQ3AEVkZ2U=
|
javadoc
Failed to save cache entry with path '/home/runner/.gradle/caches/8.9/generated-gradle-jars/gradle-api-8.9.jar,zstd-without-long,1.0' and key: generated-gradle-jars-26cfecc158c44513d188405a5d2d0d9c: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0g5GHaAAAAACxduz9zKZDSYkIm3YgfVkyQkwyQUEyMDMwMTA4MDQ3AEVkZ2U=
|
javadoc
Failed to save cache entry with path '/home/runner/.gradle/wrapper/dists/gradle-8.9-bin/90cnw93cvbtalezasaz0blq0a,zstd-without-long,1.0' and key: wrapper-zips-df6ecc383658ce44d9cbac4d1bfd12bf: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0g5GHaAAAAAAlPd33SoPpRYhgEma9amRmQkwyQUEyMDMwMTA4MDQ3AEVkZ2U=
|
javadoc
Failed to save cache entry with path '/home/runner/.gradle/caches/jars-*/*,zstd-without-long,1.0' and key: instrumented-jars-b11857ce3de9db7e9bbeed428cf75f50: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0g5GHaAAAAADaGKXt4M+dQJdO4PIBb7FXQkwyQUEyMDMwMTA4MDQ3AEVkZ2U=
|
javadoc
Failed to restore v8-gradle|Linux|linux build-test-deploy-javadoc[37a6259cc0c1dae299a7866489dff0bd]-f97c8b1b749a91efa2dd34af734bd60d9c68151a: Error: Cache service responded with 400
|
test-linux (ubuntu-24.04)
Failed to save cache entry with path '/home/runner/.gradle/caches,/home/runner/.gradle/notifications,/home/runner/.gradle/.gradle-build-action,zstd-without-long,1.0' and key: v8-gradle|Linux|linux build-test-deploy-test-linux[1ecf9abe85b4662c0855e61aba0e8e74]-f97c8b1b749a91efa2dd34af734bd60d9c68151a: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0WJKHaAAAAAD1clwPDpf9SbvL2JAysRjVUEhYMzFFREdFMDIxMgBFZGdl
|
test-linux (ubuntu-24.04)
Failed to save cache entry with path '/home/runner/.gradle/caches/modules-*/files-*/*/*/*/*,zstd-without-long,1.0' and key: dependencies-456a3f59b7584bcb502ee0ebaf01cde2: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0V5KHaAAAAADKjkL3+PEPT4cNvPz55+0tUEhYMzFFREdFMDIxMgBFZGdl
|
test-linux (ubuntu-24.04)
Failed to save cache entry with path '/home/runner/.gradle/caches/*/kotlin-dsl/*/*,zstd-without-long,1.0' and key: kotlin-dsl-a9064f48c8380be1efea254d6490792c: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0VpKHaAAAAAAEX8ktghuHQrP2lXe8sIPyUEhYMzFFREdFMDIxMgBFZGdl
|
test-linux (ubuntu-24.04)
Failed to save cache entry with path '/home/runner/.gradle/caches/8.9/generated-gradle-jars/gradle-api-8.9.jar,zstd-without-long,1.0' and key: generated-gradle-jars-26cfecc158c44513d188405a5d2d0d9c: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0VZKHaAAAAABY3gcoi/YVSIEGBkXtk0X1UEhYMzFFREdFMDIxMgBFZGdl
|
test-linux (ubuntu-24.04)
Failed to save cache entry with path '/home/runner/.gradle/wrapper/dists/gradle-8.9-bin/90cnw93cvbtalezasaz0blq0a,zstd-without-long,1.0' and key: wrapper-zips-df6ecc383658ce44d9cbac4d1bfd12bf: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0VZKHaAAAAAC5ags7Ou5aSK97zk+Z7b4kUEhYMzFFREdFMDIxMgBFZGdl
|
test-linux (ubuntu-24.04)
Failed to save cache entry with path '/home/runner/.gradle/caches/jars-*/*,zstd-without-long,1.0' and key: instrumented-jars-b11857ce3de9db7e9bbeed428cf75f50: Error: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0VZKHaAAAAAAIXZXag5raT4liZMzsNCyTUEhYMzFFREdFMDIxMgBFZGdl
|
test-linux (ubuntu-24.04)
Failed to restore v8-gradle|Linux|linux build-test-deploy-test-linux[1ecf9abe85b4662c0855e61aba0e8e74]-f97c8b1b749a91efa2dd34af734bd60d9c68151a: Error: Cache service responded with 400
|
Artifacts
Produced during runtime
Name | Size | Digest | |
---|---|---|---|
BenchexecResults
|
11.9 MB |
sha256:5663e8232e8da3832e990cb988fe3d4688597b0d27bfcc6431dbb2de2484edc9
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
219 KB |
sha256:e1e4c55fb8cd9ca0e43a201d8d16e46bf42823984cc3a6241a1ec51a2928ef8a
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
195 KB |
sha256:7ed755aa53c43ff71d74d27b85ad95c73d286d22f433b465d219c94339c8d8e8
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
233 KB |
sha256:2c410912462b57faf44693bf3b78c4a9a7ce6d21a5ee50ca6c52ec844f317a7e
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
422 KB |
sha256:bf975cb4ee06fcfcc72622a1daf71874211ce7eac7e2d55955520ff83cda9905
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
437 KB |
sha256:76f334f1dc12b664bd12fd1b50d6e669ecf0fa8558518b1115731b221e1ebad1
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
429 KB |
sha256:18b47da57ec869d8cd37999e1b757aff218c68cbc94bed0147bd80f8e2315ade
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
288 KB |
sha256:76f93d7866ef2dcf72fe568505a2a71bbe9d1709e145d2a453ab3546e443433c
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
292 KB |
sha256:4740252cf1044a4ff112df6ffe293639326d68c33f50d4269048275c2679c15c
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
295 KB |
sha256:66d306ad97d67f4f1e9470def69eeee7e285053d814c16b28060474f8183c08e
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
317 KB |
sha256:f2a3f6b5616a798c5b1e8e29a18a14eeb8b6505f97e8535b92c150c46387c516
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
268 KB |
sha256:c595237bcffd7fc367ca9f484a8d8ba41635f536c2c3905a87268337a81abb19
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
321 KB |
sha256:97a00ee5f4f785cec6e02e822bd18144af54946ff6cfd52c95adca46473b7cf0
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
47.9 KB |
sha256:8ce9a9287c5a2dbb6eee84dabe562cc6dd56a64725548bce211d2043adfa2a67
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.6 KB |
sha256:b3218b1e84ccf120f3dabe362dd67bc9a8c2eadc055aa2274c77e3a0a1ea3012
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
48.9 KB |
sha256:717ff8aecf43948730ae07a4edcfe4fb268818b8bdd9827d2340c28a82aff1ee
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
313 KB |
sha256:59b27f85622694631aab82aff62cd98d7b4dac2be4bf6f38f3c3f7dc10b74d86
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
239 KB |
sha256:f0f6a3c800dc46cbc2663e9d1eac3dca60c9e4005e9f4a2ef23e54481e209805
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
313 KB |
sha256:e321b05b1837da6718cdb46a269ba4a25b77dbb47016df46e29747a0b7abf9e7
|
|
EmergenTheta_SV-COMP
|
472 MB |
sha256:7194164a347952b475cec64319c179760ed462bcbe7e2f916ed5539d490dba3a
|
|
ThetaCHC_SV-COMP
|
366 MB |
sha256:1bf490025d848634ec0aca7cea100a451b7863f8d78badce9bcf7d9c0d6480e5
|
|
ThetaJars
|
512 MB |
sha256:c67cf8def0fde22b2b52215c50057a675ca871008995c2e2d53ccc4fb80ebe71
|
|
Theta_SV-COMP
|
472 MB |
sha256:5a50ca530e119ff21953242f97531b44b38a145f3e1c73de1f62a158f50578a4
|
|
Thorn_SV-COMP
|
507 MB |
sha256:9dc7bcab9af48d143ca3e367212e12486f43e408cc5a3a27128296e1b253ce0e
|
|
specification-transformation
|
58 MB |
sha256:2254b248ef5af0e2233e9d12a6dfce88a644f99070c31e43563c5fdc8a243cb6
|
|