Skip to content

Conversation

IgnatBeresnev
Copy link
Member

#3143 wasn't based on latest master, so the checks were green, but then the compilation failed due to explicit API mode

@IgnatBeresnev IgnatBeresnev merged commit 38e09dd into master Sep 5, 2023
@IgnatBeresnev IgnatBeresnev deleted the fix-compilation branch September 5, 2023 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant