Commit Graph

2 Commits

Author SHA1 Message Date
Enrico Toniato f56d61db3b ci: use dedicated CLI mirror credential
Use the repository-scoped CLI mirror credential and verify the live synchronization after merge.
2026-09-09 11:57:25 +02:00
Enrico Toniato c7579f6d9e ci: mirror CLI package to standalone repository
Land the CLI mirror workflow. The source workflow and repository state will be verified by the post-merge mirror run.
2026-09-09 11:55:25 +02:00