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

CI: Drop Travis; switch to GitHub Actions with w3c/spec-prod #1625

Merged
merged 1 commit into from Jun 16, 2021

Conversation

sideshowbarker
Copy link
Contributor

No description provided.

@w3cbot
Copy link

w3cbot commented Jun 16, 2021

sideshowbarker marked as non substantive for IPR from ash-nazg.

@plehegar
Copy link
Member

Note that Travis CI has been deactivated for this repository so this needs to get merged asap.

@MasterKale
Copy link
Contributor

I have no objections to this, I just wanted to ask: will this negatively impact at all the Preview and Compare links that appear on PR's?

@equalsJeffH
Copy link
Contributor

Wendy sez merge it and she & mike smith will deal with any fallout.... :)

@equalsJeffH equalsJeffH deleted the sideshowbarker/ci-switch-to-github-actions branch June 16, 2021 19:28
@sideshowbarker sideshowbarker restored the sideshowbarker/ci-switch-to-github-actions branch June 16, 2021 20:33
@w3cbot
Copy link

w3cbot commented Jun 16, 2021

sideshowbarker marked as non substantive for IPR from ash-nazg.

@sideshowbarker sideshowbarker changed the title CI: Drop Travis; switch to using GitHub Actions with w3c/spec-prod CI: Drop Travis; switch to GitHub Actions with w3c/spec-prod Jun 16, 2021
@sideshowbarker sideshowbarker merged commit 1823a4b into main Jun 16, 2021
@sideshowbarker sideshowbarker deleted the sideshowbarker/ci-switch-to-github-actions branch June 16, 2021 20:35
github-actions bot added a commit that referenced this pull request Jun 16, 2021
SHA: 1823a4b
Reason: push, by @sideshowbarker

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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.

None yet

5 participants