Clean up scripts #2202
ci.yml
on: push
check-external-types
/
check-external-types
19s
deny
/
deny
12s
docs
/
docs
19s
miri
/
miri
42s
tidy
/
tidy
1m 8s
codegen
18s
Matrix: test