Skip to content

Virtual Domain docs, rebrand and others (#218) #244

Virtual Domain docs, rebrand and others (#218)

Virtual Domain docs, rebrand and others (#218) #244

Workflow file for this run

name: Publish docs via GitHub Pages
on:
push:
branches:
- master
jobs:
build:
name: Deploy docs
runs-on: ubuntu-22.04
steps:
- name: Checkout master
uses: actions/checkout@v1
- name: Deploy docs
uses: mhausenblas/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.MKDOCS_BUILDER_TOKEN }}