Test pull request #2
hansjoergschurrcheck-pull-request.yml
on: pull_request
basic-checks
6s
check-with-dolmen
0s
Annotations
2 errors
|
basic-checks:
non-incremental/QF_UF/20230503-test/regex-049-fuzz-fuzz.smt2#L1
Declared logic does not fit logic in file path.
|
|
basic-checks
Process completed with exit code 1.
|