Skip to content

templates: fix mismatched type size in simple #218

templates: fix mismatched type size in simple

templates: fix mismatched type size in simple #218

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