Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use GitHub actions for CI #1304

Merged
merged 4 commits into from Feb 10, 2020
Merged

Use GitHub actions for CI #1304

merged 4 commits into from Feb 10, 2020

Conversation

leofeyer
Copy link
Member

No description provided.

@leofeyer leofeyer self-assigned this Feb 10, 2020
@leofeyer leofeyer added the bug label Feb 10, 2020
@leofeyer leofeyer added this to the 4.8 milestone Feb 10, 2020
@leofeyer leofeyer requested a review from a team February 10, 2020 16:31
@leofeyer leofeyer marked this pull request as ready for review February 10, 2020 16:31
@leofeyer leofeyer merged commit 35c4556 into 4.8 Feb 10, 2020
@leofeyer leofeyer deleted the bugfix/github-ci branch February 10, 2020 16:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Toflar Toflar Toflar approved these changes

@bytehead bytehead bytehead approved these changes

Assignees

@leofeyer leofeyer

Labels
bug
Projects
None yet
Milestone
4.8
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@leofeyer @Toflar @bytehead