test #3954
Annotations
11 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
GobraToolsLinux.zip
|
136 MB |
|
GobraToolsMac.zip
|
133 MB |
|
GobraToolsWin.zip
|
202 MB |
|
gobra-ide.vsix
|
172 KB |
|
server.jar
|
94.2 MB |
|
versions.txt
|
355 Bytes |
|