diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
index d7c5f19b4bf9f..fe2dd5edcbbdd 100644
--- a/.github/workflows/publish-docs.yml
+++ b/.github/workflows/publish-docs.yml
@@ -34,10 +34,10 @@ jobs:
- name: "Set docs version"
run: |
version="${{ (inputs.plan != '' && fromJson(inputs.plan).announcement_tag) || inputs.ref }}"
- # if version is missing, exit with error
- if [[ -z "$version" ]]; then
- echo "Can't build docs without a version."
- exit 1
+ # if version is missing, use 'latest'
+ if [ -z "$version" ]; then
+ echo "Using 'latest' as version"
+ version="latest"
fi
# Use version as display name for now
@@ -145,6 +145,7 @@ jobs:
GITHUB_TOKEN: ${{ secrets.ASTRAL_DOCS_PAT }}
run: |
branch_name="${{ env.branch_name }}"
+
# auto-merge the PR if the build was triggered by a release. Manual builds should be reviewed by a human.
# give the PR a few seconds to be created before trying to auto-merge it
sleep 10
diff --git a/docs/.overrides/main.html b/docs/.overrides/main.html
new file mode 100644
index 0000000000000..1589605500224
--- /dev/null
+++ b/docs/.overrides/main.html
@@ -0,0 +1,20 @@
+{% extends "base.html" %}
+
+{% block extrahead %}
+
+
+
+
+
+
+
+
+
+{% endblock %}
diff --git a/docs/assets/favicon.ico b/docs/assets/favicon.ico
new file mode 100644
index 0000000000000..2da75b736984e
Binary files /dev/null and b/docs/assets/favicon.ico differ
diff --git a/mkdocs.template.yml b/mkdocs.template.yml
index 34c01de9320ea..359971d51e4d3 100644
--- a/mkdocs.template.yml
+++ b/mkdocs.template.yml
@@ -2,7 +2,7 @@ site_name: Ruff
theme:
name: material
logo: assets/bolt.svg
- favicon: assets/ruff-favicon.png
+ favicon: assets/favicon.ico
features:
- navigation.instant
- navigation.instant.prefetch