fix build window messages have no linebreak #264
build.yml
on: push
Build
4m 12s
Test
2m 27s
Inspect code
8m 2s
Verify plugin
6m 40s
Release draft
4s
Annotations
201 warnings and 114 notices
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
lean4ij-0.1.7-beta.2
|
13.1 MB |
|
pluginVerifier-result
|
16.8 KB |
|