Revert "get rid of PR check that always fails for help dot"#38422

Merged

jasperhuangg merged 1 commit intomainfrom revert-38325-blimpich-getRidOfFailingPRCheck

Mar 15, 2024

-2

Commits on Mar 15, 2024

Revert "get rid of PR check that always fails for help dot"
blimpich
authored