Skip to content

Conversation

@tobiasmelcher
Copy link
Contributor

if the last line at the end of the document is empty

Fixes: #2157

if the last line at the end of the document is empty

Fixes: #2157
@tobiasmelcher tobiasmelcher force-pushed the code_mining_at_end_of_document branch from df18f8c to 794db81 Compare January 3, 2025 17:14
@github-actions
Copy link
Contributor

github-actions bot commented Jan 3, 2025

Test Results

 1 821 files  ±0   1 821 suites  ±0   1h 31m 18s ⏱️ - 7m 52s
 7 736 tests +2   7 507 ✅ +2  228 💤 ±0  1 ❌ ±0 
24 369 runs  +6  23 619 ✅ +6  749 💤 ±0  1 ❌ ±0 

For more details on these failures, see this check.

Results for commit 794db81. ± Comparison against base commit 6db4ad4.

@mickaelistria mickaelistria merged commit 688f837 into master Jan 6, 2025
15 of 17 checks passed
@mickaelistria
Copy link
Contributor

Thanks!

@akurtakov akurtakov deleted the code_mining_at_end_of_document branch January 6, 2025 09:17
@BeckerWdf BeckerWdf added this to the 4.35 M2 milestone Jan 10, 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.

Create a LineHeaderCodeMining at the end of the document

5 participants