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

Migrate from CircleCI to GitHub Actions #267

Closed
Tracked by #260
dataders opened this issue Apr 4, 2024 · 0 comments · Fixed by #265
Closed
Tracked by #260

Migrate from CircleCI to GitHub Actions #267

dataders opened this issue Apr 4, 2024 · 0 comments · Fixed by #265
Labels
enhancement New feature or request triage

Comments

@dataders
Copy link
Collaborator

dataders commented Apr 4, 2024

Describe the feature

A clear and concise description of what you want to happen.

Describe alternatives you've considered

A clear and concise description of any alternative solutions or features you've considered.

Additional context

Is this feature database-specific? Which database(s) is/are relevant? Please include any other relevant context here.

Who will this benefit?

What kind of use case will this feature be useful for? Please be specific and provide examples, this will help us prioritize properly.

@dataders dataders added enhancement New feature or request triage labels Apr 4, 2024
This was referenced Apr 4, 2024
@dataders dataders added this to the Upgrade CI 1.0 milestone Apr 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request triage
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant