Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
devin-ai-integration wants to merge 2 commits into
base: main
Choose a base branch
from
Open

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
992ae09
ci: download the OMG corpora before the OpenSysML mirror run
devin-ai-integration[bot] Oct 18, 2026
a24db50
ci: give the mirror run's go test an hour
devin-ai-integration[bot] Oct 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 26 additions & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,30 @@ jobs:
sudo install -m 0755 /tmp/cvc5-bin /usr/local/bin/cvc5
cvc5 --version | head -1

# The semantics, solver and check suites read the OMG pilot corpora and the
# training corpus from examples/, as OpenSysML's own CI downloads them.
- name: Cache the OMG corpora
uses: actions/cache@v4
with:
path: |
opensysml/examples/sysml-v2-training
opensysml/examples/pilot-corpora
key: omg-corpora-${{ hashFiles('opensysml/scripts/download-training-examples.sh', 'opensysml/scripts/download-pilot-corpora.sh', 'opensysml/scripts/pilot-pin.sh') }}

- name: Download the OMG corpora
run: |
cd "$GITHUB_WORKSPACE/opensysml"
./scripts/download-training-examples.sh
./scripts/download-pilot-corpora.sh
for root in sysml-v2-training pilot-corpora/sysml-examples pilot-corpora/sysml-validation pilot-corpora/kerml-examples; do
count=$(find "examples/$root" -type f \( -name '*.sysml' -o -name '*.kerml' \) | wc -l)
echo "$root: $count model files"
if [ "$count" -eq 0 ]; then
echo "error: examples/$root is empty" >&2
exit 1
fi
done

- name: Run OpenSysML against these libraries
env:
EXTENSIONS_DIR: ${{ github.workspace }}/extensions
Expand All @@ -110,4 +134,5 @@ jobs:
fi
scripts/sync-extension-libraries.sh --source "$EXTENSIONS_DIR"
make stdlib-snapshot-check || make stdlib-snapshot
go test ./internal/workspace/libs/... ./internal/exec/... ./internal/ir/... ./internal/doc/... ./internal/semantic/... ./internal/check/... ./internal/translate/... ./tests/hygiene/...
# internal/exec/runtime and internal/exec/smt outlast go test's default 10m on these runners.
go test -timeout 60m ./internal/workspace/libs/... ./internal/exec/... ./internal/ir/... ./internal/doc/... ./internal/semantic/... ./internal/check/... ./internal/translate/... ./tests/hygiene/...
6 changes: 5 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,11 @@ Every tool also needs the OMG standard library (`sysml.library`).
- **OpenSysML** — bundled: it vendors a pinned copy at
`internal/workspace/libs/stdlib/OpenSysML Libraries/`, pinned by
`scripts/extension-libraries-pin.sh` and refreshed by
`scripts/sync-extension-libraries.sh`. Edits land here first.
`scripts/sync-extension-libraries.sh`. Edits land here first. A newer
revision than the bundled one is read as a project interchange archive:
name the release `.kpar` beside the model
(`sysml -validate model.sysml opensysml-extension-libraries.kpar`) or put it
under a `-library-root` directory.

## Versioning

Expand Down
Loading