Skip to content
Deploy WebSocket Language Server

removed z3 from docker, because it breaks configuration menu #1

Sign in to view logs

removed z3 from docker, because it breaks configuration menu

removed z3 from docker, because it breaks configuration menu #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
deploy
21s
21s