Skip to content

Replace Azure Pipelines with Github Actions#42

Merged
c-w merged 2 commits intomasterfrom
ci
Jul 25, 2020
Merged

Replace Azure Pipelines with Github Actions#42
c-w merged 2 commits intomasterfrom
ci

Conversation

@c-w
Copy link
Collaborator

@c-w c-w commented Jul 25, 2020

Resolves #26

@c-w c-w merged commit 6798e12 into master Jul 25, 2020
@c-w c-w deleted the ci branch July 25, 2020 01:40
@ryan-roemer
Copy link
Owner

Nice work!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Infra: Get Azure Pipelines set up.

2 participants