Bump org.jetbrains.kotlinx.kover from 0.8.3 to 0.9.0 #283
build.yml
on: pull_request
Build
2m 41s
Test
2m 14s
Inspect code
9m 46s
Verify plugin
4m 33s
Release draft
0s
Annotations
205 warnings and 115 notices
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
lean4ij-0.1.8
|
13.1 MB |
|
pluginVerifier-result
|
17 KB |
|