Fix/devtools popup menu material UI - #702

Merged

mkorbel1 merged 15 commits into

desmonddak:fix/devtools-popup-menu-material-ui

Sep 14, 2026

Commits on Sep 10, 2026

Fix DevTools popup menu Material UI

desmonddak
and
Copilot
committed
bc7825c
Pin CI Dart SDK for formatting compatibility
desmonddak
committed
4821521
Use Dart SDK 3.4 for CI formatting
desmonddak
committed
19d3460
pin CI dart to 3.6.0 because of rohd_devtools_extension
desmonddak
committed
737afde
Let setup-dart select the SDK
desmonddak
committed
3a60d80
tests for embedded traces
desmonddak
committed
ed3589b

Commits on Sep 11, 2026

file table handling for FLC and github pages prefix
desmonddak
committed
8a44174
fix devtools installation assets
desmonddak
committed
f4e5b7a
fix the example for netlist usage
desmonddak
committed
4bf2860
cleanup spurious docs
desmonddak
committed
ffe88d7
Merge branch 'main' into fix/devtools-popup-menu-material-ui
desmonddak
authored
ad68a7d
md lint
desmonddak
committed
6b0230e
Merge branch 'fix/devtools-popup-menu-material-ui' of https://github.com/desmonddak/rohd into no-logic-array/01-fix-devtools-popup-menu-material-ui
desmonddak
committed
89d654b

Commits on Sep 14, 2026

corner cases with FLC data
desmonddak
committed
bae9aa5
js-yaml bump to deal with known vulnerability
desmonddak
committed
9f99a19