Sync tokens.json from remote URLs

2026-04-26 10:13:29 +02:00
parent b4cb23ef4d
commit a0930de5e1
4 changed files with 151 additions and 10 deletions
@@ -3,6 +3,7 @@
  "workspace_root": "~/dev/workspace/rv",
  "series_root": "~/dev/workspace/rv/series",
  "socket_root": "~/dev/workspace/rv/sockets",
+  "token_file": "~/dev/workspace/rv/tokens/tokens.json",
  "tools_root_candidates": [
    "~/dev/workspace/tools/rv32i-hazard3-env",
    "~/dev/workspace/rv/tools/rv32i-hazard3-env"