Skip to content

DROP: add aggregator role for admin and editor #12

DROP: add aggregator role for admin and editor

DROP: add aggregator role for admin and editor #12

Workflow file for this run

name: ci
on:
push:
branches:
- master
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout main
uses: actions/checkout@v2
- name: Deploy docs
uses: mhausenblas/mkdocs-deploy-gh-pages@master
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}