Skip to content

removing windows from ci #81

removing windows from ci

removing windows from ci #81

Workflow file for this run

name: Deploy Documentation to GitHub Pages
on:
push:
branches:
- master # Or the branch you want to deploy from
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: '3.x'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install sphinx
pip install sphinx-rtd-theme
pip install numpy
pip install torch
- name: Build documentation
run: |
set -e
cd docs
make html
- name: Deploy to GitHub Pages
run: |
set -e
mkdir gh-pages
cp -r docs/_build/html/* gh-pages/
touch gh-pages/.nojekyll
cd gh-pages
git init
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git add .
git commit -m "Deploy documentation to GitHub Pages"
git branch -M gh-pages
git remote add origin https://${{ secrets.GH_TOKEN }}@github.com/NVlabs/gbrl.git
git push --force origin gh-pages
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}