refactor: correct contraction index calculation and remove deprecated… #87
This file contains hidden or 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 MkDocs to GitHub Pages | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - dev | |
| jobs: | |
| build-deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # 1. Checkout repo (code + docs) | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| token: ${{ secrets.GH_PAGES_TOKEN || github.token }} | |
| # 2. Set up Python | |
| - name: Set up Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.11' | |
| # 3. Install docs dependencies | |
| - name: Install dependencies | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install .[dev] mike | |
| # 4. Deploy MkDocs site with mike | |
| - name: Deploy with mike 🚀 | |
| env: | |
| PYTHONPATH: ${{ github.workspace }}/PyEyesWeb | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| if [ "${{ github.ref_name }}" = "main" ]; then | |
| mike deploy --push --update-aliases main latest | |
| mike set-default --push latest | |
| else | |
| mike deploy --push ${{ github.ref_name }} | |
| fi |