build: fixed dependencies to mpsqa - in build.gradle #872
GitHub Actions / JUnit Test Report
failed
Jul 4, 2024 in 0s
254 tests run, 0 skipped, 1 failed.
Annotations
Check failure on line 1 in _040_safety_models
github-actions / JUnit Test Report
_040_safety_models
Model uses language com.mbeddr.formal.nusmv.ext with 1 generator(s), none of which is engaged with the active generation plan [_010_features._040_safety_models]
Model uses language com.mbeddr.formal.nusmv.cbd with 1 generator(s), none of which is engaged with the active generation plan [_010_features._040_safety_models]
Model uses language com.mbeddr.formal.nusmv with 1 generator(s), none of which is engaged with the active generation plan [_010_features._040_safety_models]
Loading