commit message

2 jobs for VerifSLTL in 51 seconds (queued for 2 seconds)
Status Name Job ID Coverage
failed build:jars #1437960


skipped test #1437961
Name Stage Failure
build:jars Build
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1]
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR] mvn <args> -rf :MochyVerif
ERROR: Job failed: exit code 1