Skip to content

Merge branch 'main' into dafni-dev

40faa83
Select commit
Loading
Failed to load commit list.
Merged

DAFNI Workflow Enhancements #299

Merge branch 'main' into dafni-dev
40faa83
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 9, 2025 in 0s

93.84% (+0.00%) compared to cdbaf1c

View this Pull Request on Codecov

93.84% (+0.00%) compared to cdbaf1c

Details

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.84%. Comparing base (cdbaf1c) to head (40faa83).
Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #299   +/-   ##
=======================================
  Coverage   93.84%   93.84%           
=======================================
  Files          27       27           
  Lines        1593     1593           
=======================================
  Hits         1495     1495           
  Misses         98       98           

Continue to review full report in Codecov by Sentry.

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.