Skip to content

fix(highlights): wait for doc changes before updating highlights #1296

fix(highlights): wait for doc changes before updating highlights

fix(highlights): wait for doc changes before updating highlights #1296

Triggered via pull request June 15, 2024 12:08
Status Success
Total duration 20s
Artifacts

auto_merge.yml

on: pull_request
auto-merge
9s
auto-merge
Fit to window
Zoom out
Zoom in

Annotations

1 warning
auto-merge
exiting early - expected PR by "dependabot[bot]", found "xiyaowong" instead