ci: run tickgit
after merging a PR in the devel branch
#7429
The logs for this run have expired and are no longer available.
Loading
tickgit
after merging a PR in the devel branch
#7429