Skip to content

SCHED0021: decrease chances of a race condition #26

SCHED0021: decrease chances of a race condition

SCHED0021: decrease chances of a race condition #26

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 }}