setup wiki creator

This commit is contained in:
kjeld Schouten-Lebbing
2020-07-20 15:11:12 +02:00
parent ee7533b282
commit ad6841ea37
4 changed files with 7 additions and 4 deletions

View File

@ -1,11 +1,12 @@
name: Publish docs via GitHub Pages
name: Publish Wiki via GitHub Pages
on:
push:
branches:
- master
jobs:
build:Wiki
build:
name: Deploy Wiki
runs-on: ubuntu-latest
steps:
- name: Checkout master