Merge pull request #437 from viperproject/auto-update-vscode #3581
github-merge-queue[bot]test.yml
on: push
prepare-matrix
2s
build-and-test-server
6m 55s
Matrix: create-gobra-tools
Matrix: build-and-test-client
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
GobraToolsLinux.zip
|
135 MB |
|
|
GobraToolsMac.zip
|
132 MB |
|
|
GobraToolsWin.zip
|
202 MB |
|
|
gobra-ide.vsix
|
172 KB |
|
|
server.jar
|
93.7 MB |
|
|
versions.txt
|
355 Bytes |
|