Skip to content
Continuous Integration

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

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 #744

Run time

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