Skip to content

Merge pull request #307 from andrewdnolan/speed_up_permission_updates #578

Merge pull request #307 from andrewdnolan/speed_up_permission_updates

Merge pull request #307 from andrewdnolan/speed_up_permission_updates #578

Triggered via push October 17, 2025 00:42
Status Success
Total duration 18s
Artifacts
lint with pre-commit
7s
lint with pre-commit
Matrix: build
Fit to window
Zoom out
Zoom in