Skip to content

Migrate from bors to GitHub merge queues #57

Migrate from bors to GitHub merge queues

Migrate from bors to GitHub merge queues #57

Triggered via pull request November 22, 2023 20:39
Status Success
Total duration 54s
Artifacts

update-docs.yml

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