feat: goal hints #142
enigmurlbuild.yml
on: pull_request
Build
1m 50s
Test
1m 26s
Inspect code
2m 23s
Verify plugin
3m 53s
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
|
16.6 KB |
|