Skip to content

Migrate from bors to GitHub merge queues #60

Migrate from bors to GitHub merge queues

Migrate from bors to GitHub merge queues #60

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

update-docs.yml

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