Add EDU workspace manifest

This commit is contained in:
mpabi
2026-04-29 20:40:13 +02:00
commit 4347fb2e30
4 changed files with 87 additions and 0 deletions
+13
View File
@@ -0,0 +1,13 @@
# Workspace Info
Publiczny manifest wspólnego workspace EDU.
Repo opisuje serie i karty pracy dostępne dla `rvctl`. Nie przechowuje
tokenów, lokalnych ścieżek użytkownika ani plików roboczych ucznia.
Domyślna lokalizacja lokalnej kopii:
```text
~/dev/workspace/rv/meta/workspace-info
```
+30
View File
@@ -0,0 +1,30 @@
{
"id": "fiz",
"title": "Fizyka",
"source_org": "edu-fiz",
"answer_org": "c2025-1a-fiz",
"source_remote": "r1",
"answer_remote": "f1a",
"fallback_branch": "main",
"default_card": "ruch-po-okregu",
"cards": [
{
"id": "ruch-1d",
"repo": "ruch-1d",
"branch": "main",
"title": "Ruch 1D"
},
{
"id": "ruch-2d",
"repo": "ruch-2d",
"branch": "main",
"title": "Ruch 2D"
},
{
"id": "ruch-po-okregu",
"repo": "ruch-po-okregu",
"branch": "main",
"title": "Ruch po okręgu"
}
]
}
+30
View File
@@ -0,0 +1,30 @@
{
"id": "inf",
"title": "Informatyka",
"source_org": "edu-inf",
"answer_org": "c2025-1a-inf",
"source_remote": "r1",
"answer_remote": "r1a",
"fallback_branch": "deploy",
"default_card": "bss",
"cards": [
{
"id": "asm-c-gcc",
"repo": "lab-rv32i-strlen-asm-c-gcc",
"branch": "deploy",
"title": "rv32i-c / asm-c-gcc"
},
{
"id": "abi",
"repo": "lab-rv32i-strlen-abi-stack",
"branch": "deploy",
"title": "rv32i-c / abi-stack"
},
{
"id": "bss",
"repo": "lab-rv32i-strlen-bss-data-stack",
"branch": "deploy",
"title": "rv32i-c / bss-data-stack"
}
]
}
+14
View File
@@ -0,0 +1,14 @@
{
"version": 1,
"workspace": "edu",
"series": [
{
"id": "inf",
"file": "series/inf.json"
},
{
"id": "fiz",
"file": "series/fiz.json"
}
]
}