Merge #298 #2335
bors[bot]test.yml
on: push
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
GobraToolsLinux.zip
Expired
|
125 MB |
|
|
GobraToolsMac.zip
Expired
|
122 MB |
|
|
GobraToolsWin.zip
Expired
|
192 MB |
|
|
gobra-ide.vsix
Expired
|
248 KB |
|
|
server.jar
Expired
|
88.7 MB |
|
|
versions.txt
Expired
|
344 Bytes |
|