Skip to content

Switch to github workflows for CI#58

Open
rshk wants to merge 8 commits intomasterfrom
switch-to-github-actions
Open

Switch to github workflows for CI#58
rshk wants to merge 8 commits intomasterfrom
switch-to-github-actions

Conversation

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants