Bump org.jetbrains.qodana from 2024.3.3 to 2024.3.4 #324
build.yml
on: pull_request
Build
2m 51s
Test
2m 6s
Inspect code
6m 27s
Verify plugin
5m 45s
Release draft
0s
Annotations
197 warnings and 113 notices
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
lean4ij-0.1.10
|
13.2 MB |
|
pluginVerifier-result
|
17.1 KB |
|