Skip to content

chore: remove obsolete tslint disable comments #37358

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mergify merged 2 commits into from
Mar 30, 2026

Merge branch 'main' into chore/remove-tslint-comments

10cfa71
Select commit
Loading
Failed to load commit list.
Merged

chore: remove obsolete tslint disable comments #37358

Merge branch 'main' into chore/remove-tslint-comments
10cfa71
Select commit
Loading
Failed to load commit list.
Mergify / Mergify Merge Queue succeeded Mar 30, 2026 in 9h 1m 7s

Merged via merge queue

  • ✅ Entered queue — 2026-03-30 09:21 UTC · Rule: default-squash
  • ✅ Checks passed · in-place
  • ✅ Merged — 2026-03-30 18:22 UTC · at 10cfa7147ea321688cdbd2efbceb70b9078217ed

This pull request spent 9 hours 1 minute 6 seconds in the queue, including 47 minutes 18 seconds running CI.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = validate-pr
    • check-neutral = validate-pr
    • check-skipped = validate-pr
  • any of [🛡 GitHub branch protection]:
    • check-success = build
    • check-neutral = build
    • check-skipped = build
View more details on Mergify
⚡