13 Commits

Author SHA1 Message Date
mpabi b0548f0e56 feat: support one Gitea organization per series 2026-07-19 16:40:05 +02:00
user aa5335aca0 chore: select pointers workspace default 2026-07-17 08:25:20 +02:00
mpabi 61d00a6992 feat: add three-profile STEM container workflow 2026-07-14 17:49:36 +02:00
mpabi 2204f82268 Integrate rvctl with rv32i and host debug profiles 2026-05-01 22:23:08 +02:00
mpabi 170d8435aa Read series from workspace manifest 2026-04-29 20:42:30 +02:00
mpabi 6204845304 Add series task branch flow 2026-04-29 02:46:19 +02:00
mpabi 33cf8925e1 Default workspace task name 2026-04-26 15:13:03 +02:00
mpabi 331e87ff90 Move source repos under dev/edu 2026-04-26 13:02:12 +02:00
mpabi fbf1fb1daa Separate source repos from workspace clones 2026-04-26 12:35:09 +02:00
mpabi a0930de5e1 Sync tokens.json from remote URLs 2026-04-26 10:13:29 +02:00
mpabi dc3bd68438 Default card branch fallback to build 2026-04-26 09:59:09 +02:00
mpabi e286dd48b9 Add submission repo planning for card repos 2026-04-26 09:55:27 +02:00
mpabi 4d3f7c954d Initial workspace launcher 2026-04-25 13:30:01 +02:00