Skip to content

Merge pull request #50 from castedo/main-not-master #33

Merge pull request #50 from castedo/main-not-master

Merge pull request #50 from castedo/main-not-master #33

Workflow file for this run

on:
push:
branches: [main]
jobs:
build_current:
name: Build current
runs-on: ubuntu-latest
container: python:3
steps:
- uses: actions/checkout@v3
with:
ref: 'main'
- name: Install pre-requisites
run: pip install -r requirements.txt
- name: Install mike
run: pip install mike
- name: Build
run: mkdocs build -v --clean
- name: Configure Git user
run: |
git config --global --add safe.directory '*'
git fetch origin gh-pages --depth=1
git config --global user.email "github-actions[bot]@users.noreply.github.com"
git config --global user.name "github-actions[bot]"
- name: Deploy MkDoc with mike 🚀
run: |
mike deploy --push dev