Skip to content

Rename PopupDeveloperView -> DeveloperMenu #140

Rename PopupDeveloperView -> DeveloperMenu

Rename PopupDeveloperView -> DeveloperMenu #140

Triggered via pull request January 21, 2026 18:22
Status Success
Total duration 13s
Artifacts

validate_pr.yml

on: pull_request
validate_pr
10s
validate_pr
Fit to window
Zoom out
Zoom in