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.

Sign up for GitHub

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

Jump to bottom

Migrate our pipelines #4507

Open
1 of 2 tasks
timdeschryver opened this issue Aug 27, 2024 · 3 comments
Open
1 of 2 tasks

Migrate our pipelines #4507

timdeschryver opened this issue Aug 27, 2024 · 3 comments
Assignees
@timdeschryver
Labels
Project: Build & CI

Comments

@timdeschryver
Copy link
Member

timdeschryver commented Aug 27, 2024 •
edited
Loading

Information

Migrate the CircleCI pipelines to GitHub actions.
I suggest to keep both pipelines side-by-side for a while before removing the CircleCI pipeline.

Describe any alternatives/workarounds you're currently using

No response

I would be willing to submit a PR to fix this issue

  • Yes
  • No
@timdeschryver timdeschryver self-assigned this Aug 27, 2024
@jits
Copy link
Contributor

jits commented Aug 27, 2024

I'd like to take this on; hoping to work on it this week.

@rainerhahnekamp
Copy link
Contributor

Sorry @jits, but that's going to be done by us. You could of course help in the review.

@jits
Copy link
Contributor

jits commented Aug 27, 2024

@rainerhahnekamp — not a problem! 😄

@timdeschryver timdeschryver mentioned this issue Aug 31, 2024
Merged
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@timdeschryver timdeschryver

Labels
Project: Build & CI
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jits @rainerhahnekamp @timdeschryver