Skip to content

CI: cancel older concurrent PR runs #58

CI: cancel older concurrent PR runs

CI: cancel older concurrent PR runs #58

Workflow file for this run

# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# Trigger repository dispatch on main test repos
name: Trigger
on:
push:
branches: [master]
jobs:
trigger:
name: Repository Dispatch
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/trigger@master
with:
token: ${{ secrets.PRIV_REPO_TOKEN }}