Check formatting

Fix issues with missing well-formedness checks #514

Sign in to view logs

Triggered via push January 24, 2024 00:06

Alasdair

wf_fixes

Status Success

Total duration 49s

Artifacts –

formatting.yml

on: push

Matrix: build

Annotations

10 errors and 2 notices

1 out of 3 runs with error: if_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bool_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: Replicate.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: if_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bool_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: Replicate.sail: /#L0

./typecheck/tests.xml

597 tests found

There are 597 tests, see "Raw output" for the full list of tests.

597 tests found

There are 597 tests, see "Raw output" for the full list of tests.