Skip to content

Turn the announcement header off - #705

Merged
reardonj merged 1 commit into
typelevel:mainfrom
reardonj:disable-traverse-europe-header
Nov 7, 2026
Merged

reardonj merged 1 commit into
typelevel:mainfrom
reardonj:disable-traverse-europe-header

Conversation

@reardonj

@reardonj reardonj commented Nov 7, 2026

Copy link
Copy Markdown
Contributor

Europe has been traversed! Time to run finalizers.

@github-actions

github-actions Bot commented Nov 7, 2026

Copy link
Copy Markdown

Branch preview

A preview of the website generated with the content of this pull request is available at this URL:

https://pr-705.typelevel-website.pages.dev

@reardonj
reardonj merged commit d067fea into typelevel:main Nov 7, 2026
2 checks passed
@reardonj
reardonj deleted the disable-traverse-europe-header branch November 7, 2026 12:46
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.

2 participants