Skip to content

Update VERSION file to camkes-3.11.0-dev #38

Update VERSION file to camkes-3.11.0-dev

Update VERSION file to camkes-3.11.0-dev #38

Workflow file for this run

# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# CAmkES unit tests
name: Unit
on:
push:
branches:
- master
pull_request:
jobs:
unit:
name: 'Unit Tests'
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/camkes-unit@master