Merge bot PR

Fix condition of fall-through case not used for exhaustive checks #3089

Sign in to view logs

Triggered via pull request March 23, 2025 12:29

rvanvelzen

opened #3900

rvanvelzen:bug-11064

Status Success

Total duration 32s

Artifacts –

merge-bot-pr.yml

on: pull_request