ci: fix coverage build #1106
Merged
ci: fix coverage build #1106
Mergify / Rule: rebase and merge when passing all checks (queue)
succeeded
Nov 2, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 8da547c
Loading