Skip to content

CI: Migrate from Bors to GitHub Merge Queue #6522

CI: Migrate from Bors to GitHub Merge Queue

CI: Migrate from Bors to GitHub Merge Queue #6522

Triggered via issue January 4, 2025 23:50
Status Skipped
Total duration 2s
Artifacts

TagBot.yml

on: issue_comment
Fit to window
Zoom out
Zoom in