Skip to content

Use options type if available#965

Merged
maraino merged 1 commit intomasterfrom
mariano/platform-type
Mar 5, 2026
Merged

Use options type if available#965
maraino merged 1 commit intomasterfrom
mariano/platform-type

Conversation

@maraino
Copy link
Contributor

@maraino maraino commented Mar 4, 2026

This commit will use the option type as the backend to use, but it can keep using the backend key in the uri.

This commit will use the option type as the backend to use, but it can
keep using the backend key in the uri.
@maraino maraino merged commit 118dfd4 into master Mar 5, 2026
12 checks passed
@maraino maraino deleted the mariano/platform-type branch March 5, 2026 00:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants