Skip to content

ci: use docker container instead of remote server#7

Merged
rCarto merged 1 commit intoriatelab:mainfrom
mthh:fix-ci
Feb 10, 2026
Merged

ci: use docker container instead of remote server#7
rCarto merged 1 commit intoriatelab:mainfrom
mthh:fix-ci

Commits

Commits on Feb 10, 2026