Skip to content

ci: run tickgit after merging a PR in the devel branch #1

ci: run tickgit after merging a PR in the devel branch

ci: run tickgit after merging a PR in the devel branch #1

Triggered via push November 8, 2023 08:29
Status Success
Total duration 1m 52s
Artifacts

tickgit.yaml

on: push
Fit to window
Zoom out
Zoom in