diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000000..3e4e79cf3c --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,24 @@ +name: Publish documentation + +on: + push: + branches: + - main + - gh-pages + tags: + - "**" + +jobs: + publish: + runs-on: ubuntu-latest + steps: + - name: Set git credentials + run: | + git config --global user.name "${{ github.actor }}" + git config --global user.name "${{ github.actor }}@users.noreply.github.com" + + - run: mike deploy dev --push + if: github.ref == 'refs/heads/main' + + - run: mike deploy latest ${{ github.ref_name }} --push + if: startsWith(github.ref, 'refs/tags/') diff --git a/mkdocs.yml b/mkdocs.yml index 46e1831687..ddfa3b010a 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -18,7 +18,7 @@ extra_css: theme: name: material logo: assets/logo.svg - favicon: assets/distilabel-icon.svg + favicon: assets/logo.svg features: - navigation.instant - navigation.tabs