Merge pull request #2559 from oneapi-src/release/2025.0_AITools #160
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: github-samples-app | |
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| # schedule: | |
| # - cron: '55 13 * * *' | |
| # Top-level default; empty/no permissions | |
| permissions: {} | |
| jobs: | |
| pages: | |
| name: Build GitHub Pages | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| # Above required for publishing to gh-pages; see auth on Ln 67-68 | |
| steps: | |
| - name: Set up Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: "3.8" | |
| - uses: actions/checkout@v3 | |
| name: Check out app/dev # checks out app/dev in top-level dir | |
| with: | |
| ref: 'refs/heads/app/dev' | |
| - uses: actions/checkout@v3 | |
| name: Check out main # checks out main in subdirectory | |
| with: | |
| ref: 'refs/heads/main' | |
| path: main | |
| - name: Build JSON DB | |
| run: | | |
| python3 -m pip install -r src/requirements.txt | |
| echo main | |
| python3 src/db.py main | |
| - name: Remove JSON pre-prod | |
| run: | | |
| rm -rf src/docs/sample_db_pre.json | |
| - name: Build Sphinx | |
| run: | | |
| python3 -m sphinx -W -b html src/docs/ src/docs/_build/ | |
| echo $PWD | |
| echo ${{ github.ref }} | |
| - name: Add GPU-Occupancy-Calculator | |
| env: | |
| GPU_OCC_CALC: src/docs/_build/Tools/GPU-Occupancy-Calculator/ | |
| run: | | |
| mkdir -p ${GPU_OCC_CALC} | |
| cp -v ${{ github.workspace }}/main/Tools/GPU-Occupancy-Calculator/index.html ${GPU_OCC_CALC}/index.html | |
| - name: Push docs | |
| if: ${{ github.ref == 'refs/heads/main' }} # only if this workflow is run from the main branch, push docs | |
| env: | |
| GITHUB_USER: ${{ github.actor }} | |
| GITHUB_TOKEN: ${{ github.token }} | |
| GITHUB_REPO: ${{ github.repository }} | |
| run: | | |
| cd src/docs/_build/ | |
| touch .nojekyll | |
| git init | |
| git remote add origin "https://${GITHUB_USER}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}" | |
| git add -A | |
| git status | |
| git config --global user.name "GitHub Actions" | |
| git config --global user.email "[email protected]" | |
| git commit -sm "$(date)" | |
| git branch -M gh-pages | |
| git push -u origin -f gh-pages |