Skip to content

fix: Make cleanup truly idempotent#940

Merged
krlmlr merged 1 commit intomainfrom
b-612-cleanup
Jan 2, 2025
Merged

fix: Make cleanup truly idempotent#940
krlmlr merged 1 commit intomainfrom
b-612-cleanup

Conversation

@krlmlr
Copy link
Collaborator

@krlmlr krlmlr commented Jan 2, 2025

Closes #612.

@krlmlr krlmlr enabled auto-merge (squash) January 2, 2025 20:00
@krlmlr krlmlr merged commit b81f172 into main Jan 2, 2025
5 checks passed
@krlmlr krlmlr deleted the b-612-cleanup branch January 2, 2025 20:21
krlmlr added a commit that referenced this pull request Jan 22, 2025
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 3, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Compressed source seems to break CI workflows that install duckdb

1 participant