Skip to content

Migrate from bors to GitHub merge queues #1287

Migrate from bors to GitHub merge queues

Migrate from bors to GitHub merge queues #1287

Triggered via pull request July 11, 2023 05:56
Status Success
Total duration 5m 21s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

minimal-ci.yml

on: pull_request
Matrix: godot-itest
ci-status
0s
ci-status
Fit to window
Zoom out
Zoom in