Ignore comma at the end of stream #1920
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
check-external-types
/
check-external-types
16s
deny
/
deny
12s
docs
/
docs
19s
miri
/
miri
40s
tidy
/
tidy
1m 6s
codegen
18s
Matrix: test