From d00a8bed95a2f5f0f695d9857090145b5afeccd1 Mon Sep 17 00:00:00 2001 From: Ryan Blue Date: Mon, 9 Sep 2024 23:57:21 -0400 Subject: [PATCH] Add favicon to main page (#7) --- .github/workflows/static.yml | 1 + index.html | 3 +++ 2 files changed, 4 insertions(+) diff --git a/.github/workflows/static.yml b/.github/workflows/static.yml index ec36f2b26bab4..ec6135a952962 100644 --- a/.github/workflows/static.yml +++ b/.github/workflows/static.yml @@ -59,6 +59,7 @@ jobs: rm -rf allwpilib/docs/development/java allwpilib/docs/development/cpp mv allwpilib/docs/development/javadoc allwpilib/docs/development/java mv allwpilib/docs/development/doxygen/html allwpilib/docs/development/cpp + - run: wget -O favicon.ico https://raw.githubusercontent.com/wpilibsuite/branding/main/export/ico/wpilib-icon-256.ico - name: Get pages url run: echo url=$(gh api "repos/${{ github.repository }}/pages" --jq '.html_url') >> $GITHUB_ENV env: diff --git a/index.html b/index.html index f15ab115b1532..26261d9358fb9 100644 --- a/index.html +++ b/index.html @@ -21,6 +21,9 @@ height: 100%; } + + +