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

Chore: complete to move to GitHub Actions #12625

Merged
merged 1 commit into from Dec 17, 2019
Merged

Conversation

@mysticatea
Copy link
Member

@mysticatea mysticatea commented Nov 30, 2019

What is the purpose of this pull request? (put an "X" next to item)

[X] Other, please explain: complete to move to GitHub Actions

What changes did you make? (Give an overview)

We have been running two CIs on GitHub Actions and Azure Pipelines in parallel because GitHub Actions had been beta. However, now GitHub Actions are stable. This PR completes switching to GitHub Actions.

Is there anything you'd like reviewers to focus on?

GitHub Actions doesn't have visualization features for code coverage. Is it acceptable?

Copy link
Member

@kaicataldo kaicataldo left a comment

LGTM!

@mysticatea mysticatea merged commit 257f3d6 into master Dec 17, 2019
12 checks passed
12 checks passed
@github-actions
Verify Files
Details
@github-actions
Test (ubuntu-latest, 13.x)
Details
@github-actions
Test (ubuntu-latest, 12.x)
Details
@github-actions
Test (ubuntu-latest, 10.x)
Details
@github-actions
Test (ubuntu-latest, 8.x)
Details
@github-actions
Test (ubuntu-latest, 8.10.0)
Details
@github-actions
Test (windows-latest, 12.x)
Details
@github-actions
Test (macOS-latest, 12.x)
Details
@github-actions
Browser Test
Details
@eslint-deprecated
commit-message Commit message follows guidelines
Details
licence/cla Contributor License Agreement is signed.
Details
@eslint-deprecated
release-monitor No patch release is pending
Details
@mysticatea mysticatea deleted the move-to-github-actions branch Dec 17, 2019
@eslint-deprecated eslint-deprecated bot locked and limited conversation to collaborators Jun 16, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants