release: 0.8.0 #179
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-7ab3464fa3535f199bca69777fc0e4109ef0adcb0b33023020b6816288dc4ae2
|
|
lint
Cache not found for keys: gradle-home-v1|Linux-X64|lint[b8a35c2f917259958c9abe8f2ff1b5ff]-a23fb7b6ac161b6595795cd376832f5b04357d51, 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-7ab3464fa3535f199bca69777fc0e4109ef0adcb0b33023020b6816288dc4ae2
|