Remove no longer necessary allowed lint #2071
taiki-eci.yml
on: push
check-external-types
/
check-external-types
18s
deny
/
deny
12s
docs
/
docs
19s
miri
/
miri
46s
tidy
/
tidy
57s
codegen
16s
Matrix: test