Skip to content

feat: homepage announcements - #576

Open
micuele wants to merge 2 commits into
leanprover-community:mainfrom
micuele:feat/homepage-announcements
Open

micuele wants to merge 2 commits into
leanprover-community:mainfrom
micuele:feat/homepage-announcements

Conversation

@micuele

@micuele micuele commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

Adds better homepage announcements.
Notices are stored in a JSON file and support translations, Markdown, priority, and start/end dates. Once deployed, they can be updated without rebuilding or restarting the server.
The homepage refreshes them every minute.

@micuele micuele changed the title Feat/homepage announcements feat: homepage announcements Oct 17, 2026
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