Skip to content

Drop unused conda-forge scripts - #44

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

saraedum merged 1 commit into
flatsurf:masterfrom
saraedum:drop-scripts

Conversation

@saraedum

@saraedum saraedum commented Dec 8, 2025

Copy link
Copy Markdown
Member

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