test

Save Files before Verification #3099

Sign in to view logs

Triggered via pull request February 14, 2024 14:53

ArquintL

opened #387

verify-files-before-verification

Status Success

Total duration 10m 54s

Artifacts 6

test.yml

on: pull_request

build-and-test-server

Matrix: create-gobra-tools

Matrix: build-and-test-client

create-nightly-release

create-stable-release

Artifacts

Produced during runtime

Name	Size
GobraToolsLinux.zip Expired	135 MB
GobraToolsMac.zip Expired	132 MB
GobraToolsWin.zip Expired	201 MB
gobra-ide.vsix Expired	174 KB
server.jar Expired	93 MB
versions.txt Expired	357 Bytes