Skip to content

Run CI on merge_group events, to allow for GitHub Merge Queue #1265

Run CI on merge_group events, to allow for GitHub Merge Queue

Run CI on merge_group events, to allow for GitHub Merge Queue #1265

Triggered via pull request February 11, 2024 02:36
Status Success
Total duration 1m 47s
Artifacts

checkin.yml

on: pull_request
Fit to window
Zoom out
Zoom in