feat: goal hints #138
onrivbuild.yml
on: pull_request
Build
1m 42s
Test
1m 29s
Inspect code
57s
Verify plugin
3m 52s
Release draft
0s
Annotations
2 errors and 1 warning
|
Inspect code
qodana scan failed with exit code 1
|
|
Verify plugin
Process completed 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.18.beta.0
Expired
|
13.2 MB |
|
|
pluginVerifier-result
Expired
|
17.7 KB |
|