Skip to content
Continuous Integration

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

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

Triggered via pull request February 23, 2024 14:19
@tnelsontnelson
opened #244
feat_typechecks
Status Cancelled
Total duration 14s
Artifacts –

continuousIntegration.yml

on: pull_request
forge-tests
3s
forge-tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
forge-tests
The run was canceled by @tnelson.
forge-tests
A task was canceled.