Skip to content
This repository was archived by the owner on Mar 10, 2026. It is now read-only.

Swap Travis configuration with Circle#278

Open
jakecraige wants to merge 1 commit intomainfrom
jc-circle
Open

Swap Travis configuration with Circle#278
jakecraige wants to merge 1 commit intomainfrom
jc-circle

Conversation

@jakecraige
Copy link
Copy Markdown
Contributor

We use Circle as a default now because it seems to work better than the others.
Since we don't use Travis anymore, this also makes it so we don't need to
maintain a configuration for it.

We use Circle as a default now because it seems to work better than the others.
Since we don't use Travis anymore, this also makes it so we don't need to
maintain a configuration for it.
@gfontenot
Copy link
Copy Markdown
Member

Did you want to delete the travis config as well?

@gfontenot gfontenot changed the base branch from master to main June 27, 2020 18:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants