Fix horn solving for termination #1926
leventeBajczicheck-formatting.yml
on: pull_request
check-formatting
1m 41s
Annotations
1 error
|
check-formatting
Either "filePath" or "message" should be provided as input
|