1
0
Fork 0

feat: Add new CI system

This commit is contained in:
Michael 2021-07-23 11:00:07 +02:00 committed by GitHub
parent bc5e621683
commit e12630ef06
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
19 changed files with 395 additions and 217 deletions

View file

@ -2,15 +2,16 @@ name: Check Documentation
on:
pull_request:
branches:
- '*'
jobs:
docs:
name: Check, verify and build documentation
runs-on: ubuntu-latest
runs-on: ubuntu-20.04
steps:
- name: Check out code
uses: actions/checkout@v2
with: