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.

Sign up for GitHub

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

Trigger recovery when only recovery stacks are left #2057

Merged
merged 13 commits into from
Oct 24, 2024

Removed obsolete comment

4d94b28
Select commit
Loading
Failed to load commit list.
Merged

Trigger recovery when only recovery stacks are left #2057

Removed obsolete comment
4d94b28
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Oct 24, 2024 in 0s

88% of diff hit (target 49%)

View this Pull Request on Codecov

88% of diff hit (target 49%)

Annotations

Check warning on line 1484 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L1484 

Added line #L1484 was not covered by tests
View more details on Codecov