Skip to content

Comments

Drop unused conda-forge scripts#44

Merged
saraedum merged 1 commit intoflatsurf:masterfrom
saraedum:drop-scripts
Dec 8, 2025
Merged

Drop unused conda-forge scripts#44
saraedum merged 1 commit intoflatsurf:masterfrom
saraedum:drop-scripts

Conversation

@saraedum
Copy link
Member

@saraedum saraedum commented Dec 8, 2025

these are leftovers from a time when we built conda packages in CI here as well

these are leftovers from a time when we built conda packages in CI here
as well
@saraedum saraedum enabled auto-merge December 8, 2025 17:55
@saraedum saraedum disabled auto-merge December 8, 2025 20:06
@saraedum saraedum merged commit fdcbe5c into flatsurf:master Dec 8, 2025
5 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant