test

Merge #331 #2618

# to view logs

Triggered via push October 10, 2023 06:04

bors[bot]

staging

Status Success

Total duration 26m 43s

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

create-gobra-tools

Matrix: build-and-test-client

create-nightly-release

create-stable-release

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