Skip to content

chore: Update CI workflow#739

Merged
MaximeHeckel merged 2 commits intomainfrom update-github-workflowDec 16, 2024

Commits

Commits on Dec 16, 2024