chore(mkdocs): add announcement banner

Alongside some config trickery for builds at RTD.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2023-09-24 16:12:35 +00:00
parent d66f845682
commit 4958ff2427
7 changed files with 37 additions and 2 deletions

View file

@ -152,6 +152,7 @@ markdown_extensions:
# extras
extra:
#deployment: staging
# my socials
social:
- icon: simple/substack