Basic type-checking for predicate use, pred/fun syntax location use site fix #753
continuousIntegration.yml
on: pull_request
forge-tests
5s
Annotations
2 errors
forge-tests
The run was canceled by @tnelson.
|
forge-tests
The operation was canceled.
|