Skip to content

Gitpod: add names+descriptions to ports #3858

Gitpod: add names+descriptions to ports

Gitpod: add names+descriptions to ports #3858

Triggered via pull request March 31, 2024 13:31
Status Success
Total duration 5m 54s
Artifacts 1

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
jacoco_report Expired
374 Bytes