Merge pull request #387 from viperproject/verify-files-before-verific… #3102
github-merge-queue[bot]test.yml
on: push
build-and-test-server
7m 25s
Matrix: create-gobra-tools
Matrix: build-and-test-client
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
GobraToolsLinux.zip
Expired
|
135 MB |
|
|
GobraToolsMac.zip
Expired
|
132 MB |
|
|
GobraToolsWin.zip
Expired
|
201 MB |
|
|
gobra-ide.vsix
Expired
|
174 KB |
|
|
server.jar
Expired
|
93 MB |
|
|
versions.txt
Expired
|
357 Bytes |
|