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: transition from circleci to github workflows #134

Merged
merged 1 commit into from
Jan 31, 2021

Conversation

consideRatio
Copy link
Member

@consideRatio consideRatio commented Jan 27, 2021

The JupyterHub organisation has transitioned to use GitHub workflows in general. I'd like to setup some other automation as well where I'll want to use github workflows copy-pasted from other repo's, so then we have it all in one system.

@welcome

This comment has been minimized.

@lambdaTotoro
Copy link
Collaborator

I've talked with @leportella about this and while she can't invest much work in this at the moment, we're happy to move forward as suggested. Is there anything besides merging the two remaining PRs that I need to do to make the CI work?

@consideRatio
Copy link
Member Author

consideRatio commented Jan 30, 2021

@lambdaTotoro thanks for review / merge! I mentioned two action points in #133 but other than that everything is good to go I think. I'll happily follow up if there are failures in GitHub actions when they have started running as well.

  • I rebased this PR to manage the README badge merge conflict.
  • The CircleCI failure you see below is a consequence of removing the CircleCI config in favor of adding GitHub workflows as used across the JupyterHub org

@lambdaTotoro lambdaTotoro merged commit 1d5b3b8 into jupyterhub:master Jan 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants