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

ci: Use micromamba 2 #816

Closed
wants to merge 3 commits into from
Closed

Conversation

jjerphan
Copy link

@jjerphan jjerphan commented Nov 25, 2024

What type of PR is this? (check all applicable)

  • πŸ’Ύ Refactor
  • πŸͺ„ Feature
  • 🐞 Bug Fix
  • πŸ”§ Optimization
  • πŸ“š Documentation
  • πŸ§ͺ Test
  • πŸ› οΈ Other

Related issues

Checklist

  • Code follows style guide
  • Tests added
  • Documented the changes

Please explain your changes below.

cc @hameerabbasi: This should fix your CI :)

Signed-off-by: Julien Jerphanion <[email protected]>
@jjerphan jjerphan marked this pull request as draft November 25, 2024 18:19
@jjerphan jjerphan marked this pull request as ready for review November 25, 2024 18:29
@jjerphan
Copy link
Author

jjerphan commented Nov 26, 2024

@mtsokol: after your comment in mamba-org/setup-micromamba#227 (comment), should I close this PR?

@mtsokol
Copy link
Collaborator

mtsokol commented Nov 26, 2024

Yes!

Ah, sorry, I didn't notice this PR - we updated it here: #805 which was open for the last three weeks.

@mtsokol mtsokol closed this Nov 26, 2024
@jjerphan jjerphan deleted the ci/use-micromamba-2 branch November 26, 2024 17:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants