treewide: Add nonfree directory and CI jobs (#109) #65

	# Copyright 2020 ETH Zurich and University of Bologna.
	# Licensed under the Apache License, Version 2.0, see LICENSE for details.
	# SPDX-License-Identifier: Apache-2.0
	name: publish-docs
	on:
	push:
	branches: [main]
	workflow_dispatch:
	jobs:
	deploy:
	name: Deploy documentation
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v4
	with:
	python-version: "3.11"
	- uses: mattnotmitt/doxygen-action@v1
	with:
	working-directory: sw/
	- name: bender install
	uses: pulp-platform/pulp-actions/bender-install@v2
	with:
	version: 0.27.1
	- name: Install Python requirements
	run: pip install -r python-requirements.txt
	- name: Generate runtime documentation
	# yamllint disable rule:line-length
	run: \|
	mkdir doxybook2; cd doxybook2
	wget https://github.com/matusnovak/doxybook2/releases/download/v1.4.0/doxybook2-linux-amd64-v1.4.0.zip
	unzip doxybook2-linux-amd64-v1.4.0.zip; cd ../
	chmod +x doxybook2/bin/doxybook2
	mkdir docs/runtime
	./doxybook2/bin/doxybook2 --input sw/doxygen/xml --output docs/runtime --config docs/doxybook2.json
	rm -rf doxybook2
	# yamllint enable rule:line-length
	- name: Generate documentation sources
	run: make doc-srcs
	- name: Build and deploy documentation
	run: mkdocs gh-deploy --force

Provide feedback