Skip to content

Update CI setup#30

Merged
giordano merged 1 commit intomainfrom
mg/ci
Jun 19, 2024
Merged

Update CI setup#30
giordano merged 1 commit intomainfrom
mg/ci

Commits

Commits on Jun 19, 2024