Skip to content

GitHub actions#100

Merged
allburov merged 6 commits intomasterfrom
github-actions
May 18, 2022
Merged

GitHub actions#100
allburov merged 6 commits intomasterfrom
github-actions

Conversation

@allburov
Copy link
Member

@allburov allburov commented May 18, 2022

Fix #99

@allburov allburov marked this pull request as ready for review May 18, 2022 10:42
@allburov allburov merged commit 4eaa382 into master May 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Move CI to Github Actions

1 participant