Skip to content

Migrate from bors to GitHub merge queues #56

Migrate from bors to GitHub merge queues

Migrate from bors to GitHub merge queues #56

Triggered via pull request November 22, 2023 20:38
Status Cancelled
Total duration 52s
Artifacts

update-docs.yml

on: pull_request
notify-docs
42s
notify-docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
notify-docs
The run was canceled by @Bromeon.
notify-docs
The operation was canceled.