Repository navigation

CI CD

Jump to bottom

Frédéric Jouault edited this page Dec 15, 2022 · 2 revisions

CI/CD is currently configured in .gitlab-ci.yml (at root of repository) for use with GitLab. It could be ported to another CI/CD framework.

This GitLab configuration file runs the tests, and deploys coverage reports. Here are a few remarks:

test execution is separated into 4 sets
- for potential parallel execution
some tests require specific services
- PlantUML
  - to test PlantUML diagram generation
- OBP-EMI
  - to test OBP verification
  - to test connection to EMI and bisimulation with AnimUML