Skip to content

Bump @types/tmp from 0.2.5 to 0.2.6 in /client #2779

Bump @types/tmp from 0.2.5 to 0.2.6 in /client

Bump @types/tmp from 0.2.5 to 0.2.6 in /client #2779

Triggered via push November 9, 2023 23:05
Status Success
Total duration 18m 28s
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
7m 17s
build-and-test-server
create-gobra-tools
4m 10s
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
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