[github-actions]

This pull request changes the compat entry for the JET package from 0.9, 0.12 to 0.9, 0.12, 0.13.
This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 85.99%. Comparing base (a3c0f4f) to head (52d0c50).

❗ There is a different number of reports uploaded between BASE (a3c0f4f) and HEAD (52d0c50). Click for more details.

HEAD has 36 uploads less than BASE

Flag	BASE (a3c0f4f)	HEAD (52d0c50)
	48	12

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #865      +/-   ##
==========================================
- Coverage   91.23%   85.99%   -5.24%     
==========================================
  Files          11       10       -1     
  Lines        1072     1014      -58     
==========================================
- Hits          978      872     -106     
- Misses         94      142      +48     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.