Updates submodules (#480) #4031
github-merge-queue[bot]test.yml
on: push
prepare-matrix
3s
build-and-test-server
7m 15s
Matrix: create-gobra-tools
Matrix: build-and-test-client
Annotations
1 warning
|
build-and-test-server
Cache not found for keys: Linux-sbt-no-precompiled-sources-57ef626e0039ac8a3058d3dc46fafd8c699b09e3ffb7569eca3705943588811a
|
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
|
354 Bytes |
|