[bmcfee]

This PR adds automation for spec0 and github actions updates. It also revises the CI matrix definitions to work more seamlessly with said updates, using uv and pyproject.toml to define all dependencies instead of conda environments.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.87%. Comparing base (7394c2f) to head (80690f8).
⚠️ Report is 5 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #47      +/-   ##
==========================================
- Coverage   98.87%   98.87%   -0.01%     
==========================================
  Files          62       62              
  Lines        4011     4010       -1     
  Branches      942      941       -1     
==========================================
- Hits         3966     3965       -1     
  Misses         24       24              
  Partials       21       21              

Flag	Coverage Δ
unittests	98.87% <100.00%> (-0.01%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ 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.