Skip to content

Conversation

williamjallen
Copy link
Collaborator

The filename for coverage files is stored in the coveragefile table. While it should eventually be moved to the coverage table, doing so is nontrivial. This PR exposes it via the Coverage type, with the caveat that it cannot be used in filters until the column is fully moved to the coverage table.

@josephsnyder josephsnyder added this pull request to the merge queue Jun 10, 2025
Merged via the queue into Kitware:master with commit 0d9d959 Jun 10, 2025
13 of 14 checks passed
@williamjallen williamjallen deleted the graphql-coverage-file-path branch June 10, 2025 14:52
github-merge-queue bot pushed a commit that referenced this pull request Jul 28, 2025
#2926 used a hack to allow file
paths to be accessed via the `Coverage` type, despite residing in a
separate relation. This PR re-works that to instead use a Postgres view
to access all coverage information in a single place. Subsequent PRs
will increase usage of this view throughout the codebase, with the
ultimate goal of managing the underlying tables entirely within
Postgres.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants