Replace the "Options" submenu with a settings screen #14246

Job	Run time
docs-paths-filter	5s
cpp-paths-filter	7s
python-paths-filter	5s
rust-paths-filter	7s
web-paths-filter	5s
Checks / Lint markdown	23s
Checks / Rerun lints	27s
Checks / Check if running codegen would produce any changes	1m 0s
Checks / Spell Check	7s
Checks / markdown-paths-filter	4s
Checks / Misc formatting	22s
Update PR Body / Update PR body	22s
Deploy Landing Preview	0s
Python Checks / Python lints (ruff, mypy, …)	29s
Python Checks / Test Python Docs	25s
Checks / Check links	0s
Build rerun_js / Build rerun_js	3m 32s
Build web viewer / Build web viewer	3m 9s
C++ tests / matrix_prep	5s
C++ tests / C++ formatting check	4m 8s
Rust Checks / Rust lints (fmt, check, clippy, tests, doc)	8m 45s
Rust Checks / Test on macOS and Windows	0s
Minimum CLI Build / Set Config (linux-x64)	2s
Minimum CLI Build / Build rerun-cli (ubuntu-latest-16-cores)	5m 8s
C++ tests / C++ build & test - Linux x64, C++17	5m 18s
C++ tests / C++ build & test - Linux x64, C++20	5m 15s
C++ tests / C++ build & test - Windows x64	11m 7s
C++ tests / C++ build & test - Mac aarch64	8m 27s
Upload Web / Upload web build to google cloud (wasm32 + wasm-bindgen)	14s
Save PR Summary / Create HTML summary for PR	33s
Minimum Wheel Build / Set Config (linux-x64)	3s
Minimum Wheel Build / Build Wheels (ubuntu-latest-16-cores)	2m 9s
Minimum Wheel Test / Set Config (linux-x64)	1s
Minimum Wheel Test / Test Wheels (ubuntu-latest-16-cores)	3m 59s
	1h 6m 3s

Provide feedback