release: 0.8.0 #173
stainless-app[bot]Annotations
2 errors and 3 warnings
|
lint
Process completed with exit code 1.
|
|
test
Process completed with exit code 1.
|
|
lint
Cache not found for keys: setup-java-Linux-x64-gradle-be33f48293f55b7ed0641fe083af03d769630d8d6c5c563f1cb7b78aa980e539
|
|
lint
Cache not found for keys: gradle-home-v1|Linux-X64|lint[b8a35c2f917259958c9abe8f2ff1b5ff]-db4e587f316903bea4d34b5363be971f208f98c0, gradle-home-v1|Linux-X64|lint[b8a35c2f917259958c9abe8f2ff1b5ff], gradle-home-v1|Linux-X64|lint, gradle-home-v1|Linux-X64
|
|
test
Cache not found for keys: setup-java-Linux-x64-gradle-be33f48293f55b7ed0641fe083af03d769630d8d6c5c563f1cb7b78aa980e539
|