Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

This PR changes the CSV framework coverage reports.

@github-actions github-actions bot requested a review from a team as a code owner September 11, 2025 00:22
@owen-mc
Copy link
Contributor

owen-mc commented Sep 11, 2025

@IdrissRio This is an automatically-generated PR to update our documentation of how many APIs we model. I think it needs to be updated because of your PR that was merged yesterday. Annoyingly CI won't run automatically, I'll send you the command to make it run in case you haven't come across it before. After a quick check that the docs looks find you can then approve and merge it.

@IdrissRio IdrissRio merged commit 0b5745c into main Sep 11, 2025
1 check passed
@IdrissRio IdrissRio deleted the workflow/coverage/update branch September 11, 2025 12:17
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