Skip to content

Comments

Update CI setup#1

Merged
JelleZijlstra merged 5 commits intomasterfrom
updateci
Aug 21, 2024
Merged

Update CI setup#1
JelleZijlstra merged 5 commits intomasterfrom
updateci

Commits

Commits on Aug 21, 2024