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

jdatcmd merged 1 commit into
masterfrom
ci-workspace-path

Commits

  1. Commits on Aug 26, 2026