mirror of
https://github.com/boostorg/boostlook.git
synced 2026-01-19 04:02:14 +00:00
473cd45074
This commit improves the boostlook CSS sync workflow: - add support for the develop branch - include boostlook_tino.css in trigger paths - implement conditional file copying based on branch - restrict ui-release trigger to push events only - pass branch name as parameter to downstream workflows
80 lines
2.7 KiB
YAML
80 lines
2.7 KiB
YAML
name: Sync boostlook.css to website-v2 & website-v2-docs
|
|
|
|
on:
|
|
push:
|
|
branches: ["master", "develop"]
|
|
paths:
|
|
- "boostlook.css"
|
|
- "boostlook_tino.css"
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
jobs:
|
|
update-css:
|
|
runs-on: ubuntu-latest
|
|
if: github.repository == 'boostorg/boostlook'
|
|
steps:
|
|
- name: Checkout current repository
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Checkout website-v2 repository
|
|
uses: actions/checkout@v4
|
|
with:
|
|
repository: boostorg/website-v2
|
|
ref: develop
|
|
path: website-v2
|
|
token: ${{ secrets.WEBSITE_V2_PAT }}
|
|
|
|
- name: Set up Python
|
|
uses: actions/setup-python@v4
|
|
with:
|
|
python-version: "3.11"
|
|
|
|
- name: Copy boostlook.css to website-v2
|
|
run: |
|
|
if [[ "${{ github.ref }}" == "refs/heads/develop" ]]; then
|
|
echo "Copying boostlook_tino.css and renaming to boostlook.css"
|
|
cp -v boostlook_tino.css website-v2/static/css/boostlook.css
|
|
else
|
|
echo "Copying boostlook.css"
|
|
cp -v boostlook.css website-v2/static/css/boostlook.css
|
|
fi
|
|
- name: Install pre-commit
|
|
if: success()
|
|
run: |
|
|
pip install pre-commit
|
|
- name: Run pre-commit hooks on boostlook.css
|
|
if: success()
|
|
working-directory: website-v2
|
|
run: |
|
|
pre-commit run --files static/css/boostlook.css
|
|
- name: Commit and push changes to develop branch
|
|
if: success()
|
|
working-directory: website-v2
|
|
env:
|
|
GH_TOKEN: ${{ secrets.WEBSITE_V2_PAT }}
|
|
run: |
|
|
git config user.name "${{ github.actor }}"
|
|
git config user.email "${{ github.actor }}@users.noreply.github.com"
|
|
git add static/css/boostlook.css
|
|
if ! git diff-index --quiet HEAD; then
|
|
git commit -m "chore: Update boostlook.css from boostlook repository"
|
|
git push origin develop
|
|
else
|
|
echo "No changes to commit. Skipping commit to develop."
|
|
fi
|
|
- name: Trigger website-v2-docs ui-release workflow
|
|
if: ${{ (github.ref == 'refs/heads/master' || github.ref == 'refs/heads/develop') && github.event_name == 'push' }}
|
|
env:
|
|
GH_TOKEN: ${{ secrets.WEBSITE_V2_PAT }}
|
|
run: |
|
|
gh workflow run ui-release.yml --repo boostorg/website-v2-docs --ref develop -f boostlook_branch=${{ github.ref_name }}
|
|
- name: Trigger website-v2-docs publish workflow
|
|
if: success()
|
|
env:
|
|
GH_TOKEN: ${{ secrets.WEBSITE_V2_PAT }}
|
|
run: |
|
|
gh workflow run publish.yml --repo boostorg/website-v2-docs --ref develop
|