Changelog update - v0.0.17
#129
onrivbuild.yml
on: pull_request
Build
1m 13s
Test
1m 4s
Inspect code
55s
Verify plugin
4m 5s
Release draft
0s
Annotations
1 error and 1 warning
|
Inspect code
qodana scan failed with exit code 1
|
|
Test
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
lean4ij-0.0.17
Expired
|
13.1 MB |
|
|
pluginVerifier-result
Expired
|
13.6 KB |
|