Skip to content

Generate empty requirements coverage#24

Closed
karlnaden wants to merge 1 commit into
mainfrom
empty-requirements-coverage
Closed

Generate empty requirements coverage#24
karlnaden wants to merge 1 commit into
mainfrom
empty-requirements-coverage

Conversation

@karlnaden
Copy link
Copy Markdown
Contributor

Summary

Enable github workflows checking requirements in tests kits that depend on this one.

Testing Guidance

@arscan
Copy link
Copy Markdown
Contributor

arscan commented Jul 25, 2025

Do we need this @karlnaden @Jammjammjamm or can we just close it? If it is functionally important, i think we should get this in, but if its a 'nice to have' from a process perspective we should close it with a reason in the close message.

@karlnaden
Copy link
Copy Markdown
Contributor Author

Fixed in Inferno core - test kits without requirements do not need to include blank coverage files.

@karlnaden karlnaden closed this Jul 25, 2025
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