Back to pull request #3408

Prepare use of GitHub merge queues #7500

Sign in to view logs

Triggered via pull request August 2, 2024 15:45

tautschnig

synchronize #3408

tautschnig:merge-queue

Status Success

Total duration 2m 6s

Artifacts –

format-check.yml

on: pull_request