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

Remove Travis CI #127

Merged
merged 1 commit into from
Apr 3, 2019
Merged

Remove Travis CI #127

merged 1 commit into from
Apr 3, 2019

Conversation

nbraud
Copy link
Collaborator

@nbraud nbraud commented Mar 23, 2019

So long, and thanks for all the fish.

To be merged once we feel confident Cirrus CI is working as desired.

So long, and thanks for all the fish.
@nbraud
Copy link
Collaborator Author

nbraud commented Mar 29, 2019

@astronouth7303 BTW, I think you missed the question on Discord; are you fine with Piper merging this now?

@nbraud nbraud mentioned this pull request Apr 2, 2019
5 tasks
@AstraLuma
Copy link
Member

bors r+

bors bot added a commit that referenced this pull request Apr 3, 2019
127: Remove Travis CI r=astronouth7303 a=nbraud

So long, and thanks for all the fish.

To be merged once we feel confident Cirrus CI is working as desired.

Co-authored-by: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
@bors
Copy link
Contributor

bors bot commented Apr 3, 2019

Build succeeded

  • docs
  • FreeBSD PYTHON:3.6
  • FreeBSD PYTHON:3.7
  • lint
  • Linux container:python:3.6-slim
  • Linux container:python:3.7-slim
  • macOS PYTHON:3.6.8
  • macOS PYTHON:3.7.2
  • Windows container:python:3.6-windowsservercore-1809
  • Windows container:python:3.7-windowsservercore-1809

@bors bors bot merged commit 07b6c05 into ppb:master Apr 3, 2019
@nbraud nbraud deleted the qa/remove-travis branch April 3, 2019 21:26
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.

2 participants