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

[sweep:integration] fix: from mambaforge to miniforge #7872

Merged

Conversation

fstagni
Copy link
Contributor

@fstagni fstagni commented Nov 4, 2024

Sweep #7869 fix: from mambaforge to miniforge to integration.

Adding original author @fstagni as watcher.

Closes #7870

@fstagni fstagni requested a review from atsareg as a code owner November 4, 2024 10:34
@fstagni fstagni force-pushed the cherry-pick-2-bb24b5c9a-integration branch from 3c08963 to 58f7b2a Compare November 4, 2024 10:50
@fstagni fstagni closed this Nov 6, 2024
@fstagni fstagni reopened this Nov 6, 2024
@fstagni fstagni force-pushed the cherry-pick-2-bb24b5c9a-integration branch from 544b5f2 to a6f2751 Compare November 6, 2024 16:17
@fstagni fstagni merged commit 3789abb into DIRACGrid:integration Nov 6, 2024
24 checks passed
@DIRACGridBot DIRACGridBot added the sweep:ignore Prevent sweeping from being ran for this PR label Nov 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
sweep:from rel-v8r0 sweep:ignore Prevent sweeping from being ran for this PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Sweep failed for PR fix: from mambaforge to miniforge
3 participants