CI: fix up things

Author: aviatesk

.github/workflows/JETLS.jl.yml

@@ -112,6 +112,8 @@ jobs:
           [JET] # allow JET to be loaded on nightly
           JET_DEV_MODE = true
           ' > LocalPreferences.toml
+      - uses: julia-actions/julia-buildpkg@latest
+      - uses: julia-actions/julia-runtest@latest
 
   JULIA_NUM_THREADS:
     name: Test with `JULIA_NUM_THREADS = 4,2`

LSP/README.md

@@ -1,6 +1,7 @@
 # LSP.jl
 
-[![](https://github.com/aviatesk/JETLS.jl/actions/workflows/LSP.yml/badge.svg)](https://github.com/aviatesk/JETLS.jl/actions/workflows/LSP.yml)
+[![](https://github.com/aviatesk/JETLS.jl/actions/workflows/LSP.jl.yml/badge.svg)](https://github.com/aviatesk/JETLS.jl/actions/workflows/LSP.jl.yml)
+[![](https://codecov.io/gh/aviatesk/JETLS.jl/branch/master/graph/badge.svg?flag=LSP.jl)](https://codecov.io/gh/aviatesk/JETLS.jl&flags[0]=LSP.jl)
 
 In this directory, the Julia version of the
 [LSP specification](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification)

README.md

@@ -3,10 +3,7 @@
 [![](https://img.shields.io/badge/docs-user_guide-9558B2?logo=julia)](https://aviatesk.github.io/JETLS.jl/dev/)
 [![](https://img.shields.io/badge/docs-dev_notes-7C3AED?logo=obsidian)](https://publish.obsidian.md/jetls)
 [![](https://github.com/aviatesk/JETLS.jl/actions/workflows/JETLS.jl.yml/badge.svg)](https://github.com/aviatesk/JETLS.jl/actions/workflows/JETLS.jl.yml)
-[![](https://codecov.io/gh/aviatesk/JETLS.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/aviatesk/JETLS.jl)
-[![](https://github.com/aviatesk/JETLS.jl/actions/workflows/LSP.jl.yml/badge.svg)](https://github.com/aviatesk/JETLS.jl/actions/workflows/LSP.jl.yml)
-[![](https://github.com/aviatesk/JETLS.jl/actions/workflows/Documentation.yml/badge.svg)](https://github.com/aviatesk/JETLS.jl/actions/workflows/Documentation.yml)
-[![](https://github.com/aviatesk/JETLS.jl/actions/workflows/jetls-client.yml/badge.svg)](https://github.com/aviatesk/JETLS.jl/actions/workflows/jetls-client.yml)
+[![](https://codecov.io/gh/aviatesk/JETLS.jl/branch/master/graph/badge.svg?flag=JETLS.jl)](https://codecov.io/gh/aviatesk/JETLS.jl&flags[0]=JETLS.jl)
 
 The goal of this project is to develop a new language server for
 [Julia](https://julialang.org/), currently called "JETLS".