1# Copyright 2021, Proofcraft Pty Ltd
2#
3# SPDX-License-Identifier: BSD-2-Clause
4
5# Trigger repository dispatch on main test repos
6name: Trigger
7
8on:
9  push:
10    branches: [master]
11
12jobs:
13  trigger:
14    name: Repository Dispatch
15    if: ${{ github.repository_owner == 'seL4' }}
16    runs-on: ubuntu-latest
17    steps:
18    - uses: seL4/ci-actions/trigger@master
19      with:
20        token: ${{ secrets.PRIV_REPO_TOKEN }}
21