Merge pull request #1787 from VirajSalaka/faq #150
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: ci | |
| on: | |
| push: | |
| branches: | |
| - PE | |
| permissions: | |
| contents: write | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Configure Git Credentials | |
| run: | | |
| git config --global user.email "[email protected]" | |
| git config --global user.name "Choreo CI Agent" | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: 3.12 | |
| - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV | |
| - uses: actions/cache@v4 | |
| with: | |
| key: mkdocs-material-${{ env.cache_id }} | |
| path: .cache | |
| restore-keys: | | |
| mkdocs-material- | |
| - run: | | |
| echo "Installing Python dependencies" | |
| pip install --upgrade pip # Ensure pip is up-to-date | |
| pip install zipp==3.0.0 | |
| pip install pathlib2==2.3.5 | |
| pip install -U --upgrade mkdocs==1.4.2 | |
| pip install Pygments==2.14.0 | |
| pip install pymdown-extensions==9.10 | |
| pip install mkdocs-minify-plugin==0.6.2 | |
| pip install mkdocs-markdownextradata-plugin==0.2.5 | |
| pip install mkdocs-redirects==1.2.0 | |
| pip install pathlib==1.0.1 | |
| pip install -U mkdocs-material==9.1.2 | |
| pip install markdown-include==0.8.1 | |
| pip install markdown==3.2.1 | |
| pip install mkdocs-exclude==1.0.2 | |
| pip install -U Jinja2==3.1.0 | |
| pip install mkdocs-glightbox==0.3.4 | |
| pip install mkdocs-include-markdown-plugin==1.0.0 | |
| pip install mkdocs-open-in-new-tab==1.0.3 | |
| - name: Build site developer | |
| run: mkdocs build --config-file en/developer-docs/mkdocs.yml | |
| - name: Build site platform-engineer | |
| run: mkdocs build --config-file en/pe-docs/mkdocs.yml | |
| - name: Create/fetch gh-pages-v2 | |
| run: | | |
| if git ls-remote --heads origin gh-pages-v2 | grep -q gh-pages-v2; then | |
| git fetch origin gh-pages-v2 | |
| git checkout gh-pages-v2 | |
| else | |
| git switch --orphan gh-pages-v2 | |
| fi | |
| - name: Create gh-pages-v2 branch developer subdirectory | |
| run: | | |
| rm -rf choreo/docs/developer # Clear existing directory if needed | |
| mkdir -p choreo/docs/developer | |
| cp -r en/developer-docs/site/developer/* choreo/docs/developer/ | |
| - name: Create gh-pages-v2 branch platform-engineer subdirectory | |
| run: | | |
| rm -rf choreo/docs/platform-engineer # Clear existing directory if needed | |
| mkdir -p choreo/docs/platform-engineer | |
| cp -r en/pe-docs/site/platform-engineer/* choreo/docs/platform-engineer/ | |
| - name: Push Changes to gh-pages-v2 | |
| run: | | |
| git add choreo/docs/developer/ | |
| git commit -m "Update developer directory" | |
| git add choreo/docs/platform-engineer/ | |
| git commit -m "Deploy to platform-engineer directory" | |
| git push origin gh-pages-v2 --force | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |