Better is_enum_constr
test in Adt_rel
#1242
linter.yml
on: push
Check style
1m 50s
Matrix: Check indentation