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 dependency on CircleCI #708

Merged
merged 6 commits into from
May 5, 2024
Merged

Remove dependency on CircleCI #708

merged 6 commits into from
May 5, 2024

Conversation

hawkrives
Copy link
Member

@hawkrives hawkrives commented May 5, 2024

Combines #707 and #706.

Closes #643.
Closes #650.

@hawkrives hawkrives changed the title hawken/remove circle Remove dependency on CircleCI May 5, 2024
drewvolz
drewvolz previously approved these changes May 5, 2024
@hawkrives hawkrives dismissed drewvolz’s stale review May 5, 2024 16:01

The merge-base changed after approval.

drewvolz
drewvolz previously approved these changes May 5, 2024
@hawkrives hawkrives dismissed drewvolz’s stale review May 5, 2024 16:07

The merge-base changed after approval.

@hawkrives hawkrives marked this pull request as ready for review May 5, 2024 16:39
@hawkrives hawkrives requested a review from rye as a code owner May 5, 2024 16:39
@hawkrives hawkrives enabled auto-merge May 5, 2024 16:40
@hawkrives hawkrives disabled auto-merge May 5, 2024 16:45
@hawkrives hawkrives merged commit 5e84138 into master May 5, 2024
6 checks passed
@hawkrives hawkrives deleted the hawken/remove-circle branch May 5, 2024 16:45
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.

Move away from CircleCI for CI pipeline
2 participants