Skip to content

Merge pull request #2975 from devitocodes/fuse-tasks-groups #115

Merge pull request #2975 from devitocodes/fuse-tasks-groups

Merge pull request #2975 from devitocodes/fuse-tasks-groups #115

Workflow file for this run

name: main triggers
permissions:
contents: write
on:
push:
branches:
- main # Push events on main branch
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v7
- name: Trigger doc build
uses: peter-evans/repository-dispatch@v4
with:
token: ${{ secrets.DEPLOY_DOC_PAT }}
repository: devitocodes/devitoproject.org
event-type: deploy-docs
# Detect whether the PR merged into main carried the "no-pro-trigger"
# label. When present, the pro submodule update is skipped so devitopro
# PRs pinned to a specific branch don't have to be closed by hand.
- name: Check for no-pro-trigger label
id: pro_label
env:
GH_TOKEN: ${{ github.token }}
run: |
skip=$(gh api "repos/${{ github.repository }}/commits/${{ github.sha }}/pulls" \
--jq 'any(.[].labels[]; .name == "no-pro-trigger")')
echo "skip=$skip" >> "$GITHUB_OUTPUT"
- name: Trigger pro submodule update
if: steps.pro_label.outputs.skip != 'true'
uses: peter-evans/repository-dispatch@v4
with:
token: ${{ secrets.PRO_SUBMODULE }}
repository: devitocodespro/devitopro
event-type: update-submodule