Add 'ardupilot/' from commit '16b783822905668b160b0eb1ef5599ce0d3a0231' #164

	# This is a basic workflow to help you get started with Actions

	name: CI

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push or pull request events but only for the master branch
	push:
	branches: [ dev ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v2
	with:
	ref: dev

	- name: Deploy MkDocs
	# You may pin to the exact commit or the version.
	# uses: mhausenblas/mkdocs-deploy-gh-pages@786c1c8c1c5ab4ceda14f1579cf417cbd6288825
	uses: mhausenblas/mkdocs-deploy-gh-pages@nomaterial
	env:
	# EXTRA_PACKAGES: mkdocs-bootswatch
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	REQUIREMENTS: requirements.txt

Provide feedback