Skip to content

camkes-deps: fully remove orderedset; bump version #258

camkes-deps: fully remove orderedset; bump version

camkes-deps: fully remove orderedset; bump version #258

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