Skip to content

Well-known headers update#3082

Merged
RobinTail merged 3 commits into
masterfrom
headers-update-20251123
Nov 23, 2025
Merged

Well-known headers update#3082
RobinTail merged 3 commits into
masterfrom
headers-update-20251123

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

This PR contains automated updates generated by the weekly workflow.

@coderabbitai

coderabbitai Bot commented Nov 23, 2025

Copy link
Copy Markdown
Contributor

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.


Comment @coderabbitai help to get the list of available commands and usage tips.

@RobinTail
RobinTail merged commit 591fb37 into master Nov 23, 2025
11 checks passed
@RobinTail
RobinTail deleted the headers-update-20251123 branch November 23, 2025 05:24
@coveralls-official

Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same
when pulling a44f2f8 on headers-update-20251123
into cd4f151 on master.

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.

1 participant