Skip to content

[FIX] Remove contributors file #579

[FIX] Remove contributors file

[FIX] Remove contributors file #579

Workflow file for this run

name: docs
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Set up environment
run: |
git config --global user.email "[email protected]"
git config --global user.name "GitHub Almighty"
- uses: actions/checkout@v1
- name: Set up Python 3.8
uses: actions/setup-python@v1
with:
python-version: 3.8
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements-devel.txt
pip install --upgrade .
- name: Build docs
run: |
make -C docs html