Skip to content

remove circleci#298

Merged
davidkoski merged 1 commit intomainfrom
remove-circleci
Nov 10, 2025
Merged

remove circleci#298
davidkoski merged 1 commit intomainfrom
remove-circleci

Conversation

@davidkoski
Copy link
Collaborator

Proposed changes

Now that GitHub actions are set up, remove circleci.

Checklist

Put an x in the boxes that apply.

  • I have read the CONTRIBUTING document
  • I have run pre-commit run --all-files to format my code / installed pre-commit prior to committing changes
  • I have added tests that prove my fix is effective or that my feature works
  • I have updated the necessary documentation (if needed)

@davidkoski davidkoski requested a review from awni November 10, 2025 20:28
Copy link
Member

@awni awni left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@davidkoski davidkoski merged commit 4a5fef0 into main Nov 10, 2025
1 of 2 checks passed
@davidkoski davidkoski deleted the remove-circleci branch November 10, 2025 20:39
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