merge queue: embarking devel (32e4e5c) and #4254 together #7561
Triggered via pull request
November 14, 2023 12:35
mergify[bot]
Status
Success
Total duration
28m 36s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build-multi-stage.yaml
on: pull_request
multi-arch-build
28m 25s