Set up formatting in CI

[djc]

No description provided.

[codecov-io]

Codecov Report

Merging #478 (00e9e0e) into main (d3c5ff6) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main     #478      +/-   ##
==========================================
+ Coverage   96.83%   96.85%   +0.01%     
==========================================
  Files          50       50              
  Lines        8979     9175     +196     
==========================================
+ Hits         8695     8886     +191     
- Misses        284      289       +5     

Impacted Files	Coverage Δ
rustls/src/verify.rs	83.59% <100.00%> (ø)
rustls/src/verifybench.rs	100.00% <100.00%> (ø)
rustls/src/client/hs.rs	96.69% <0.00%> (-0.40%)	⬇️
rustls/src/client/tls12.rs	99.26% <0.00%> (-0.22%)	⬇️
rustls/src/server/hs.rs	97.70% <0.00%> (+0.11%)	⬆️
rustls/src/server/handy.rs	100.00% <0.00%> (+0.80%)	⬆️
rustls/src/client/handy.rs	100.00% <0.00%> (+1.44%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d3c5ff6...d0f3066. Read the comment docs.

[ctz]

I'd like to get #443, #537, #547 merged before attending to this. But it seems straightforward to merge -- taking e1150e2 as-is and remaking d47c1ee

[djc]

I'm also generally happy to rebase my own PRs on top of this. Thanks for following up!

[djc]

Should we just get this merged? It will always be a nuisance, but I'll make a standing offer to rebase anyone's branches.

[djc]

Rebased this on current main. Now seems like a pretty good time to land this?