Skip to content
This repository was archived by the owner on Apr 15, 2026. It is now read-only.

Implement Default for InstalledBackend#108

Merged
Firestar99 merged 1 commit intomainfrom
default-backend
Aug 30, 2025
Merged

Implement Default for InstalledBackend#108
Firestar99 merged 1 commit intomainfrom
default-backend

Conversation

@Firestar99
Copy link
Copy Markdown
Member

this allows end-users to construct InstalledBackend, since they are #[non_exhaustive]

@Firestar99 Firestar99 enabled auto-merge (squash) August 30, 2025 12:39
@Firestar99 Firestar99 merged commit 91286dd into main Aug 30, 2025
6 checks passed
@LegNeato LegNeato deleted the default-backend branch September 1, 2025 04:06
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.

2 participants