Skip to content

Merge pull request #19 from deschilter/main #15

Merge pull request #19 from deschilter/main

Merge pull request #19 from deschilter/main #15

Triggered via push June 26, 2024 10:32
Status Skipped
Total duration 3s
Artifacts

publish.yml

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