Skip to content

ci: Clean up CI workflow#26

Merged
henningmu merged 3 commits intomainfrom henningmu/ci-cd-cleanupMay 25, 2023