Update VS Code to 1.83.1 #2631
test.yml
on: push
Annotations
1 error
build-and-test-client - macos-latest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
GobraToolsLinux.zip
Expired
|
134 MB |
|
GobraToolsMac.zip
Expired
|
131 MB |
|
GobraToolsWin.zip
Expired
|
201 MB |
|
gobra-ide.vsix
Expired
|
249 KB |
|
server.jar
Expired
|
98.2 MB |
|
versions.txt
Expired
|
344 Bytes |
|