Bump magik language server to 0.8.0 #4727
Triggered via pull request
September 22, 2023 20:00
Status
Success
Total duration
7m 47s
Artifacts
–
Annotations
1 error and 12 warnings