Skip to content

Cherry-pick: Don't reload extension on window resize #10289

Cherry-pick: Don't reload extension on window resize

Cherry-pick: Don't reload extension on window resize #10289

Triggered via pull request November 14, 2024 17:26
@janduboisjandubois
opened #7774
Status Success
Total duration 55s
Artifacts

spelling.yml

on: pull_request_target
Check Spelling
46s
Check Spelling
Update PR
0s
Update PR
Fit to window
Zoom out
Zoom in