Skip to content

Merge pull request #431 from KaiGrosz/master #576

Merge pull request #431 from KaiGrosz/master

Merge pull request #431 from KaiGrosz/master #576

Triggered via push August 8, 2023 10:01
Status Skipped
Total duration 5s
Artifacts

publish.yml

on: push
Publish new version to TER
0s
Publish new version to TER
Fit to window
Zoom out
Zoom in