Skip to content

Rename PopupDeveloperView -> DeveloperMenu #258

Rename PopupDeveloperView -> DeveloperMenu

Rename PopupDeveloperView -> DeveloperMenu #258

Triggered via pull request January 22, 2026 10:52
Status Success
Total duration 25s
Artifacts

validate_pr.yml

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