name: "GitHub Pages"

on:
  push:
    branches:
      - master

jobs:
  pages:
    runs-on: ubuntu-18.04
    steps:
      - uses: actions/checkout@v2
      - name: Generate code coverage
        run: |
          RUSTDOCFLAGS="--html-in-header katex-header.html" cargo doc --no-deps
          mv target/doc public
      - name: Deploy GitHub Pages
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./public

name: "GitHub Pages"

on:
  push:
    branches:
      - master

jobs:
  pages:
    runs-on: ubuntu-18.04
    steps:
      - uses: actions/checkout@v2
      - name: Generate code coverage
        run: |
          RUSTDOCFLAGS="--html-in-header ndarray-linalg/katex-header.html" cargo doc --no-deps
          mv target/doc public
      - name: Deploy GitHub Pages
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./public

Fix katex-header path in CI
Fix katex-header path in CI
