Bump org.jetbrains.qodana from 2024.2.3 to 2024.2.5 #192
dependabot[bot]build.yml
on: pull_request
Build
2m 22s
Test
1m 53s
Inspect code
59s
Verify plugin
4m 38s
Release draft
0s
Annotations
1 error and 2 warnings
|
Inspect code
The process '/usr/bin/git' failed with exit code 128
|
|
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
|
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.20.beta.3
|
12.9 MB |
|
|
pluginVerifier-result
|
14.6 KB |
|