[minor] Improve typechecking for pred/fun use, update Sterling #988
Triggered via pull request
February 18, 2025 15:36
tnelson
Status
Success
Total duration
12m 21s
Artifacts
–
continuousIntegration.yml
on: pull_request
forge-tests
12m 11s