Check formatting

Fix issues with missing well-formedness checks #512

Sign in to view logs

Triggered via push January 23, 2024 23:25

Alasdair

wf_fixes

Status Success

Total duration 1m 56s

Artifacts –

formatting.yml

on: push

Matrix: build

Annotations

4 errors and 2 notices

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

./lem/tests.xml

All 6 runs with error: int64_vector_literal.sail: /#L0

./c/tests.xml

All 6 runs with error: int64_vector_literal.sail: /#L0

./c/tests.xml

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

./lem/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.