Skip to content

Update VERSION file to camkes-3.11.0-dev #26

Update VERSION file to camkes-3.11.0-dev

Update VERSION file to camkes-3.11.0-dev #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 }}