Your org has enabled the Graphite merge queue for merging into main

Add the label “0-merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

• docs(allocator): enable lint warnings on missing docs, and add missing doc comments #6613
• docs(data-structures): enable lint warnings on missing docs, and add missing doc comments #6612
• docs(syntax): enable lint warnings on missing docs, and add a lot of documentation #6611
• chore(span): enable lint warnings on missing docs #6610
• refactor(span): remove unused ContentHash::content_hash_slice #6609
• chore(parser): enable lint warnings on missing docs #6608 👈
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @DonIsaac and the rest of your teammates on Graphite

• refactor(span): remove unused ContentHash::content_hash_slice #6609
• chore(parser): enable lint warnings on missing docs #6608 👈
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @DonIsaac and the rest of your teammates on Graphite

CodSpeed Performance Report

Merging #6608 will not alter performance

_{Comparing don/10-15-chore_parser_enable_lint_warnings_on_missing_docs (03427af) with main (d07a9b0)}

Summary

✅ 30 untouched benchmarks

Merging without review since no code changes were made besides the addition of a single macro.

Merge activity

• Oct 15, 4:49 PM EDT: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
• Oct 15, 4:49 PM EDT: A user added this pull request to the Graphite merge queue.
• Oct 15, 4:49 PM EDT: A user removed this pull request from the Graphite merge queue.
• Oct 15, 8:49 PM UTC: The merge label '0-merge' was removed. This PR will no longer be merged by the Graphite merge queue
• Oct 15, 4:49 PM EDT: The merge label '0-merge' was removed. This PR will no longer be merged by the Graphite merge queue
• Oct 15, 5:51 PM EDT: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
• Oct 15, 5:51 PM EDT: A user added this pull request to the Graphite merge queue.
• Oct 15, 5:55 PM EDT: A user merged this pull request with the Graphite merge queue.