PR Labels

Add a debouncer to NavBars animator #10201

Sign in to view logs

Triggered via pull request November 1, 2024 15:54

afterxleep

synchronize #3519

daniel/omnibar.debouncer

Status Success

Total duration 23s

Artifacts –

pr-labels.yml

on: pull_request

Prevent merging with banned labels