Make CI better

[MBkkt]

Purpose

Related Information

• Design document: ...
• Bench PR: ...

Testing

• This change is a trivial rework or code cleanup without any test coverage.
• This change is already covered by existing tests.
• This PR adds tests that were used to verify all changes.
• There are tests in an external testing repository: ...

[codecov]

Codecov Report

Merging #185 (b6a744b) into main (16d8857) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##              main      #185   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           60        60           
  Lines         1361      1361           
=========================================
  Hits          1361      1361           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

[coveralls]

Pull Request Test Coverage Report for Build 2765853974

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 100.0%

---

Totals
Change from base Build 2765564472:	0.0%
Covered Lines:	1361
Relevant Lines:	1361

---

💛 - Coveralls