Move AdvantageBuffer to its own file and switch to tensordict (#9) #114
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy to GitHub Pages | |
| on: | |
| push: | |
| branches: [ "main", "master", "update_to_nbdev_2", "*docs" ] | |
| workflow_dispatch: | |
| env: | |
| PIP_EXTRA_INDEX_URL: https://download.pytorch.org/whl/nightly/cu113 | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: 'josiahls/fastrl-dev:latest' | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Install Dependencies | |
| shell: bash | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install -e ".[dev]" --upgrade | |
| fastrl_nbdev_docs --one2one | |
| # - uses: fastai/workflows/quarto-ghp@master | |
| - name: Enable GitHub Pages | |
| shell: python | |
| run: | | |
| import ghapi.core,nbdev.config,sys | |
| msg="Please enable GitHub Pages to publish from the root of the `gh-pages` branch per these instructions - https://docs.github.com/en/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-site#publishing-from-a-branch" | |
| try: | |
| api = ghapi.core.GhApi(owner=nbdev.config.get_config().user, repo=nbdev.config.get_config().repo, token="${{secrets.GITHUB_TOKEN}}") | |
| api.enable_pages(branch='gh-pages') | |
| except Exception as e: | |
| print(f'::error title="Could not enable GitHub Pages Automatically":: {msg}\n{e}') | |
| sys.exit(1) | |
| - name: Deploy to GitHub Pages | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{secrets.GITHUB_TOKEN}} | |
| force_orphan: true | |
| publish_dir: ./_docs | |
| # The following lines assign commit authorship to the official GH-Actions bot for deploys to `gh-pages` branch. | |
| # You can swap them out with your own user credentials. | |
| user_name: github-actions[bot] | |
| user_email: 41898282+github-actions[bot]@users.noreply.github.com | |