Skip to content

#6 Migrate to github actions#7

Merged
danielemery merged 7 commits intomainfrom
6-migrate-to-github-actions
Feb 25, 2024
Merged

#6 Migrate to github actions#7
danielemery merged 7 commits intomainfrom
6-migrate-to-github-actions

Conversation

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Migrate to github actions

1 participant