Skip to content
Continuous Integration

Basic type-checking for predicate use, pred/fun syntax location use site fix #745

Sign in to view logs

Basic type-checking for predicate use, pred/fun syntax location use site fix

Basic type-checking for predicate use, pred/fun syntax location use site fix #745

Run time

Learn about OS pricing on GitHub Actions
Job Run time
forge-tests
11m 42s
11m 42s