Repository navigation

ci: download the OMG corpora before the OpenSysML mirror run; document the .kpar route - #10

Merged

HuiJun merged 2 commits into

mainfrom

ci/mirror-pilot-corpora

Oct 22, 2026

Merged

ci: download the OMG corpora before the OpenSysML mirror run; document the .kpar route#10
HuiJun merged 2 commits into
mainfrom
ci/mirror-pilot-corpora

Commits on Oct 18, 2026
- ci: download the OMG corpora before the OpenSysML mirror run
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  992ae09
- ci: give the mirror run's go test an hour
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  a24db50