Skip to content

CI: derive the workspace path instead of hardcoding the repo name - #38

Merged
jdatcmd merged 1 commit into
masterfrom
ci-workspace-path
Aug 26, 2026
Merged

CI: derive the workspace path instead of hardcoding the repo name#38
jdatcmd merged 1 commit into
masterfrom
ci-workspace-path

Commits

Commits on Aug 26, 2026