test #4013
test.yml
on: schedule
prepare-matrix
4s
build-and-test-server
7m 35s
Matrix: create-gobra-tools
Matrix: build-and-test-client
Annotations
8 warnings
build-and-test-server
Cache not found for keys: Linux-sbt-no-precompiled-sources-259f4db1ccabe28f9503d244aa768782c907b3c87b6f01db9421fc215250e9e7
|
build-and-test-client - ubuntu-latest, src/test/data/settings/local.json
Cache not found for keys: Linux-node-45e5fc8f03c1e3f80e39091f50d17c8a5b61482ce0386ba61dfc6e84338efb7c, Linux-node-
|
build-and-test-client - macos-latest, src/test/data/settings/local.json
Cache not found for keys: macOS-node-45e5fc8f03c1e3f80e39091f50d17c8a5b61482ce0386ba61dfc6e84338efb7c, macOS-node-
|
build-and-test-client - windows-latest, src/test/data/settings/local.json
Cache not found for keys: Windows-node-84bed8711de3f2ba2ee7aa4c91c32e46f1cba43a3d69599bc48596b21b49ed02, Windows-node-
|
create-nightly-release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
create-nightly-release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
create-nightly-release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
create-nightly-release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
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 |
|