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

Rename the pipeline to magma #130

Closed

1 of 2 tasks

abhi18av opened this issue Oct 25, 2022 · 0 comments · Fixed by #141

Closed

1 of 2 tasks

Rename the pipeline to magma #130

abhi18av opened this issue Oct 25, 2022 · 0 comments · Fixed by #141

Milestone

Member

abhi18av commented Oct 25, 2022 •

edited

Loading

Change the relevant references in code
Change the name of the repo

abhi18av linked a pull request

that will close this issue

[DRAFT] Magma name refactor #132

Closed

abhi18av modified the milestones: v0.9.8, v1.0.0

abhi18av mentioned this issue

[Hold] Cloud path filtering #124

Closed

abhi18av linked a pull request

that will close this issue

Rename pipeline to magma and update documentation #141

Merged

abhi18av closed this as completed in #141

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment