Push Docs workflow (libffcv/ffcv)

# 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
concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true
 
jobs:
  # This workflow contains a single job called "build"
  build:
    timeout-minutes: 30
    # The type of runner that the job will run on
    runs-on: latchkey-small
 
    # 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 "ailyas@mit.edu"
          git config --global user.name "Andrew Ilyas"
          git add --force docs
          git commit -m generate docs
          git push --force -u origin ghpages