MDietermann 698271a235 fix(theming): restore gruvbox as default via Default() helper

2026-04-14 13:42:58 +02:00

..

config

fix(renode): pin wokwi-cli to v0.26.1 (v0.28.1 does not exist)

2026-04-14 12:19:32 +02:00

engine

refactor(engine): remove dead failed map from markFailed

2026-04-13 19:55:41 +02:00

module

feat(module): add four-phase Module interface and registry

2026-04-13 19:29:18 +02:00

modules

fix(theming): restore gruvbox as default via Default() helper

2026-04-14 13:42:58 +02:00

platform

feat(platform): add WriteUserFile atomic user-space writer

2026-04-14 09:53:03 +02:00

privilege

fix: address final-review findings before closing Plan 1

2026-04-13 21:35:14 +02:00

state

feat(state): persist per-run logs with rotation and last-run pointer

2026-04-13 20:02:48 +02:00

theming

fix(theming): restore gruvbox as default via Default() helper

2026-04-14 13:42:58 +02:00

tui

fix(theming): restore gruvbox as default via Default() helper

2026-04-14 13:42:58 +02:00