Skip to content

Merge pull request #293 from viperproject/dependabot/npm_and_yarn/cli… #2313

Merge pull request #293 from viperproject/dependabot/npm_and_yarn/cli…

Merge pull request #293 from viperproject/dependabot/npm_and_yarn/cli… #2313

Triggered via push July 1, 2023 18:19
Status Success
Total duration 19m 31s
Artifacts 6
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: push
build-and-test-server
8m 38s
build-and-test-server
create-gobra-tools
4m 18s
create-gobra-tools
Matrix: build-and-test-client
create-nightly-release
0s
create-nightly-release
create-stable-release
0s
create-stable-release
Fit to window
Zoom out
Zoom in

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