Merge pull request #348 from viperproject/dependabot/npm_and_yarn/cli… #2763
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test.yml
on: push
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
GobraToolsLinux.zip
Expired
|
134 MB |
|
|
GobraToolsMac.zip
Expired
|
131 MB |
|
|
GobraToolsWin.zip
Expired
|
201 MB |
|
|
gobra-ide.vsix
Expired
|
249 KB |
|
|
server.jar
Expired
|
98.2 MB |
|
|
versions.txt
Expired
|
344 Bytes |
|