.gitlab-ci.yml · 0847d5a9222d3fbc948e1e5e3f41ab252d4ccd1a · PIACERE / public / The Platform / DOML Model Checker · GitLab

Snippets Groups Projects

2 years ago
ab500a5a
Merge branch 'mar23-modelchecker-update' into 'main' · ab500a5a
Andrea Franchini authored 2 years ago
```
Update Model Checker to latest version

See merge request piacere/private/t41-doml-model-checker!8
```
ab500a5a

History
Merge branch 'mar23-modelchecker-update' into 'main'
Andrea Franchini authored 2 years ago
```
Update Model Checker to latest version

See merge request piacere/private/t41-doml-model-checker!8
```