release: 0.8.0 #180
stainless-app[bot]Annotations
2 errors and 3 warnings
|
test
Process completed with exit code 1.
|
|
lint
Process completed with exit code 1.
|
|
test
Cache not found for keys: setup-java-Linux-x64-gradle-be33f48293f55b7ed0641fe083af03d769630d8d6c5c563f1cb7b78aa980e539
|
|
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]-22e4dccd5a5f37c6e946406c129fa30adfdf862e, gradle-home-v1|Linux-X64|lint[b8a35c2f917259958c9abe8f2ff1b5ff], gradle-home-v1|Linux-X64|lint, gradle-home-v1|Linux-X64
|