Skip to content

Fix coverage job for new projects#40

Merged
douglaswinter merged 1 commit into
mainfrom
dw/fix_coverage_ci_for_new_projects
May 8, 2026
Merged

Fix coverage job for new projects#40
douglaswinter merged 1 commit into
mainfrom
dw/fix_coverage_ci_for_new_projects

Conversation

@douglaswinter
Copy link
Copy Markdown
Collaborator

The existing job does the following:

  1. Figure out which projects are affected since base
  2. At HEAD, run coverage for those projects and save report
  3. At base, run coverage on the same projects and save report
  4. Give both outputs to comparison script

But for new projects, step 3 will fail because those projects do not exist yet.

In this change we filter out affected projects not in the workspace before step 3.

The existing job does the following:
1. Figure out which projects are affected since BASE
2. At HEAD, run coverage for those projects and save report
3. At BASE, run coverage on the same projects and save report
4. Give both outputs to comparison script

But for new projects, step 3 will fail because those projects do not
exist yet.

In this change we filter out affected projects not in the workspace be-
fore step 3.
@douglaswinter douglaswinter force-pushed the dw/fix_coverage_ci_for_new_projects branch from e2ab863 to 0e8fee6 Compare May 8, 2026 12:46
Copy link
Copy Markdown
Collaborator

@Relm-Arrowny Relm-Arrowny left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

look good to me, it much nicer than my hack to hardcore the folder name.

@douglaswinter douglaswinter merged commit 5601ce9 into main May 8, 2026
2 checks passed
@douglaswinter douglaswinter deleted the dw/fix_coverage_ci_for_new_projects branch May 8, 2026 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants