Skip to content
Check formatting

Lean: Fixing struct of enums #1925

Sign in to view logs

Lean: Fixing struct of enums

Lean: Fixing struct of enums #1925

Triggered via pull request January 30, 2025 14:11
@lfrenotlfrenot
opened #929
lfrenot:lean/struct_of_enum
Status Success
Total duration 2m 0s
Artifacts –

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

19 errors and 1 notice
1 out of 2 runs with error: range.sail: /#L0
./lean/tests.xml
1 out of 8 runs with error: struct.sail: /#L0
./lean/tests.xml
union.sail with error: /#L0
./lean/tests.xml
trivial.sail with error: /#L0
./lean/tests.xml
enum.sail with error: /#L0
./lean/tests.xml
ite.sail with error: /#L0
./lean/tests.xml
extern.sail with error: /#L0
./lean/tests.xml
tuples.sail with error: /#L0
./lean/tests.xml
bitfield.sail with error: /#L0
./lean/tests.xml
atom_bool.sail with error: /#L0
./lean/tests.xml
register_vector.sail with error: /#L0
./lean/tests.xml
match.sail with error: /#L0
./lean/tests.xml
typquant.sail with error: /#L0
./lean/tests.xml
type_kid.sail with error: /#L0
./lean/tests.xml
let.sail with error: /#L0
./lean/tests.xml
typedef.sail with error: /#L0
./lean/tests.xml
registers.sail with error: /#L0
./lean/tests.xml
bitvec_operation.sail with error: /#L0
./lean/tests.xml
extern_bitvec.sail with error: /#L0
./lean/tests.xml
760 tests found
There are 760 tests, see "Raw output" for the full list of tests.