Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[build] Fix for #3597 -- Timeouts of coverage, remove for now #3624

Merged
merged 1 commit into from
Jul 20, 2023
Merged

[build] Fix for #3597 -- Timeouts of coverage, remove for now #3624

merged 1 commit into from
Jul 20, 2023

Conversation

kaby76
Copy link
Contributor

@kaby76 kaby76 commented Jul 20, 2023

This is a fix for #3597.

"Coverage" is a computation that outputs a .html file that is an annotated text file of a grammar. It shows how the grammar is tested, and helps identify what rules in a grammar are not being tested.

Unfortunately, coverage computation takes over 300s, which is monitored and killed, then reported as an error. This PR removes the Github Action for now.

Also, coverage should report whether a change to a grammar is being tested, not necessarily show how the entire grammar is tested.

The plan is to update the tool trcover so that it is faster and add in code to test only the changes.

@teverett
Copy link
Member

Thanks!

@teverett teverett merged commit 02cf56e into antlr:master Jul 20, 2023
rvrooman-codelogic pushed a commit to CodeLogicIncEngineering/grammars-v4-public-fork that referenced this pull request Jul 27, 2023
@kaby76 kaby76 mentioned this pull request Feb 7, 2024
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.

3 participants