merge queue: embarking main (01168c8) and #7761 together #73

Sign in to view logs

Triggered via pull request October 18, 2023 15:14

opened #7765

mergify/merge-queue/fe2a9586ae

Status Success

Total duration 23s

Artifacts –

ci-coverage.patch.yml

on: pull_request

Coverage on stable