Skip to content

Migrate from bors to GitHub merge queues #55

Migrate from bors to GitHub merge queues

Migrate from bors to GitHub merge queues #55

Triggered via pull request November 22, 2023 20:04
Status Success
Total duration 6m 50s
Artifacts

update-docs.yml

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