[ci] remove unused CI checks, other small simplifications#3688

Merged

jameslamb merged 2 commits intomasterfrom ci/cleanup

Dec 28, 2020

+6-7

Commits on Dec 27, 2020

[ci] remove unused CI checks
jameslamb
committed

Commits on Dec 28, 2020

Merge branch 'master' into ci/cleanup
jameslamb
committed