Skip to content

CMake: fail for unsupported platforms #304

CMake: fail for unsupported platforms

CMake: fail for unsupported platforms #304

Workflow file for this run

# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# Actions to run on pull requests
name: Camkes VM
on:
pull_request:
jobs:
test:
name: Test
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
march: [nehalem, armv7a, armv8a]
steps:
- uses: seL4/ci-actions/camkes-vm@master
with:
march: ${{ matrix.march }}