Merge pull request #103 from jwodder/lint-1.80 #800
jwoddertest.yml
on: push
minimal-versions
1m 20s
coverage
34s
lint
2m 44s
docs
14s
check-gentests
20s
Matrix: test