Merge pull request #89 from onriv/changelog-update-v0.1.9 #301
build.yml
on: push
Build
2m 1s
Test
1m 59s
Inspect code
7m 41s
Verify plugin
4m 25s
Release draft
6s
Annotations
210 warnings and 115 notices
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
lean4ij-0.1.9
|
13.1 MB |
|
pluginVerifier-result
|
17 KB |
|