Call multiplatform CI via main ci pipeline #264

	name: CI

	on:
	push:
	branches:
	- master
	pull_request:
	workflow_dispatch:

	jobs:
	ci:
	uses: angr/ci-settings/.github/workflows/angr-ci.yml@master
	windows:
	uses: ./.github/workflows/windows.yml
	macos:
	uses: ./.github/workflows/macos.yml
	docs:
	runs-on: ubuntu-22.04
	steps:
	- name: Checkout code
	uses: actions/checkout@v3
	- name: Setup python
	uses: actions/setup-python@v4
	with:
	python-version: 3.8
	- name: Install
	run: pip install .[docs]
	- name: Build docs
	run: cd docs && make html
	- name: Build coverage
	run: cd docs && make coverage
	- name: Test coverage
	run: \|
	if [ -s docs/_build/coverage/python.txt ]; then
	echo "Doc coverage is missing for the for:"
	cat docs/_build/coverage/python.txt
	exit 1
	fi

Provide feedback