merge queue: embarking devel (f9310c8) and #4022 together #6913

Sign in to view logs

Summary
Jobs
- mod-check
Run details
- Usage
- Workflow file

Triggered via pull request August 1, 2023 18:14

opened #4027

mergify/merge-queue/aabe1338ec

Status Success

Total duration 2m 51s

Artifacts –

mod-check.yaml

on: pull_request