Ci formalverif #24
cmominci.yml
on: pull_request
build_latex
2m 47s
functest
4m 52s
formal_verif_matchi
2m 22s
release
0s
Annotations
1 error
|
formal_verif_matchi
Process completed with exit code 2.
|