Merge pull request #369 from Pangoraw/patch-1 #294

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

	name: Push Docs

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

	# 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

	# Runs a set of commands using the runners shell
	- name: Build and upload the docs
	run: \|
	mv docs docs_src
	cd docs_src
	pip install -U sphinx==6.0.0 karma-sphinx-theme
	pip install -U numpy numba tqdm
	pip install --upgrade -U pygments
	make html
	cp -r _build/html ../docs
	cp ../.nojekyll ../docs/.nojekyll
	echo docs.ffcv.io > ../docs/CNAME
	git branch -D ghpages \|\| echo "branch exists"
	git checkout -B ghpages
	cd ..
	rm -f .gitmodules
	rm -rf examples/imagenet-example
	git config --global user.email "[email protected]"
	git config --global user.name "Andrew Ilyas"
	git add --force docs
	git commit -m generate docs
	git push --force -u origin ghpages

Provide feedback