Remove "upload HEAD coverage" workflow

[Bravo555]

Proposed changes

As we have started using the merge queue which is the new "future main" and merge by squashing is also no longer possible, the workflow is no longer necessary.

Types of changes

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Improvement (general improvements like code refactoring that doesn't explicitly fix a bug or add any new functionality)
• Documentation Update (if none of the other choices apply)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Paste Link to the issue

• Upload HEAD coverage workflow is failing due to out of disk space error #2678

Checklist

• I have read the CONTRIBUTING doc
• I have signed the CLA (in all commits with git commit -s)
• I ran cargo fmt as mentioned in CODING_GUIDELINES
• I used cargo clippy as mentioned in CODING_GUIDELINES
• I have added tests that prove my fix is effective or that my feature works
• I have added necessary documentation (if appropriate)

Further comments

[didier-wenzek]

Approved

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (ca154f9) 76.0% compared to head (4db4770) 75.9%.
Report is 12 commits behind head on main.

Additional details and impacted files

see 5 files with indirect coverage changes

[github-actions]

Robot Results

✅ Passed	❌ Failed	⏭️ Skipped	Total	Pass %	⏱️ Duration
390	0	3	390	100	1h1m32.269s

[reubenmiller]

@Bravo555 does it make sense to consolidate this workflow with the Pull Request Checks, as it seems like a duplication to me...if so, can you create a new ticket to remove the duplication in function?

[reubenmiller]

Approved. Good to remove duplication (and using unnecessary runner resources).