Skip to content

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

HuiJun merged 2 commits into
mainfrom
ci/mirror-pilot-corpora

Conversation

@devin-ai-integration

@devin-ai-integration devin-ai-integration Bot commented Oct 18, 2026 •

Copy link
Copy Markdown
Contributor

Summary

The advisory OpenSysML against these libraries job has failed on every main run: it builds and tests OpenSysML develop with these libraries swapped in, but never fetched the OMG corpora, so TestKerMLFeatureMetaclassClassification (which reads examples/pilot-corpora/kerml-examples/Vehicle Example/VehicleUsages.kerml) died on a missing file before any library-related assertion ran.

  • ci.yml: before the mirror run, cache and download the training corpus and the three pilot corpora with OpenSysML's own scripts/download-training-examples.sh / scripts/download-pilot-corpora.sh, and fail the step when any root has no .sysml/.kerml file — the same sequence OpenSysML's pr.yml uses. With the corpora present, go test ./internal/semantic/semantics -run TestKerMLFeatureMetaclassClassification passes on develop (v0.10.1-1266-gdada45c11); the mirror run's go test gets -timeout 60m because internal/exec/runtime and internal/exec/smt exceed the default 10m.
  • README.md: under Using the libraries → OpenSysML, say how to use a newer revision than the one OpenSysML bundles now that it reads project interchange archives — the release .kpar beside the model (sysml -validate model.sysml opensysml-extension-libraries.kpar) or under -library-root. Both verified against the same build with a scripts/build-kpar.py archive: all 16 packages resolve.

No library or engine-contract.json change; the pin in OpenSysML (5134a14) still matches main byte for byte.

Semver impact: PATCH (documentation and CI only; no library, element or contract name changes). It does not by itself require a release.

Link to Devin session: https://nasa-jpl-demo.devinenterprise.com/sessions/592f0a4104734a8292f7bd8111e3c3a5
Open in Devin Desktop: https://nasa-jpl-demo.devinenterprise.com/desktop/session/592f0a4104734a8292f7bd8111e3c3a5?variant=devin
Requested by: @HuiJun

The advisory job built OpenSysML against these libraries without the
pilot corpora, so TestKerMLFeatureMetaclassClassification failed on
every run reading examples/pilot-corpora. Fetch the training and pilot
corpora as OpenSysML's own CI does and fail early when a root is empty.

Also document the project-interchange route for OpenSysML in the
README: the release .kpar beside the model or under -library-root.

Co-Authored-By: jason.han <hanhuijun@gmail.com>
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

Co-Authored-By: jason.han <hanhuijun@gmail.com>

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Devin Review found 1 potential issue.

Devin Review

Comment thread README.md
@HuiJun
HuiJun merged commit 7d08393 into main Oct 22, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant