Dafny Nightly #320

Annotations

1 error and 8 warnings

Gradle build failed: see console output for details

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|dafny nightly-testDotNet[7206fa0e0cedb6913d76412c6501ba2d]-ccf61d6a9c49385f1cccde0cda9c0609ba050455: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to save cache entry with path '/home/runner/.gradle/caches/jars-*/*,zstd-without-long,1.0' and key: instrumented-jars-532a79a7bdf657f0f60f3fba85950d34: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to save cache entry with path '/home/runner/.gradle/caches/modules-*/files-*/*/*/*/*,zstd-without-long,1.0' and key: dependencies-9c7a85ca709c8eca011046a035de7222: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to save cache entry with path '/home/runner/.gradle/caches/*/kotlin-dsl/*/*,zstd-without-long,1.0' and key: kotlin-dsl-821ef388a127d9d7df020afdb2926fd4: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to save cache entry with path '/home/runner/.gradle/wrapper/dists/gradle-8.3-bin/dxjbbhstwasg8cbags9q7cvli,zstd-without-long,1.0' and key: wrapper-zips-f48368615a04b6f60d5c60934a21dd47: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to save cache entry with path '/home/runner/.gradle/caches/8.3/generated-gradle-jars/gradle-api-8.3.jar,zstd-without-long,1.0' and key: generated-gradle-jars-f7053b13997cd47925adc8f4d7041175: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to save cache entry with path '/home/runner/.gradle/caches/8.3/generated-gradle-jars/gradle-kotlin-dsl-extensions-8.3.jar,zstd-without-long,1.0' and key: generated-gradle-jars-4ebefdd7992a5d0009d1b258938807f2: Error: reserveCache failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/caches

Failed to restore v8-gradle|Linux|dafny nightly-testDotNet[7206fa0e0cedb6913d76412c6501ba2d]-ccf61d6a9c49385f1cccde0cda9c0609ba050455: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cdafny%20nightly-testDotNet%5B7206fa0e0cedb6913d76412c6501ba2d%5D-ccf61d6a9c49385f1cccde0cda9c0609ba050455%2Cv8-gradle%7CLinux%7Cdafny%20nightly-testDotNet%5B7206fa0e0cedb6913d76412c6501ba2d%5D%2Cv8-gradle%7CLinux%7Cdafny%20nightly-testDotNet%2Cv8-gradle%7CLinux&version=eb03f63337b25bd615bd5f2e3e2f06a28f197125b72943445f4e43a1c0565302

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Dafny Nightly #320

dafny-nightly-test-vectors-net / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)