Replies: 3 comments 6 replies
-
Did you set
|
Beta Was this translation helpful? Give feedback.
-
I now tried to define multiple default branches like this: extra:
version:
provider: mike
default:
- latest
- dev But even tho I have GitHub Pages is used to host the content and I update the page on push like this: name: Deploy Site
on:
workflow_dispatch:
push:
paths:
- 'docs/**'
- 'mkdocs.yml'
- 'mkdocs-theme/**'
- 'requirements.txt'
branches:
- master
tags-ignore:
- '**'
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Set up Python 3.7
uses: actions/setup-python@v4
with:
python-version: 3.7
- name: Install dependencies
run: |
python -m pip install --upgrade pip setuptools
python -m pip install -r requirements.txt
- name: Deploy Files
run: |
git config user.name "github-actions[bot]"
git config user.email "[email protected]"
mike deploy dev
mike set-default dev --push |
Beta Was this translation helpful? Give feedback.
-
I have also run into a problem with the version selector not showing. |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
-
Not sure if this is intentional behaviour, or if I have to alter something to adjust my docs and make everything work as it should.
Right now I have a single "branch" set up in Mike called
dev
which is updated using the action shared in #4759.The thing is, that on the actual docs, the Version selector is not visible. The
dev
branch is present and can be accessed by appending/dev
to the URL itself. However, this causes the "Outdated" banner to show, even tho I doubt that this should be the case asdev
is by definition the latest push of the documentation.So I would appreciate some assistance in understanding how Mike works here and if I had to do anything specific to correct all this...
Beta Was this translation helpful? Give feedback.
All reactions