Skip to content

Improve Dockerfile and update dependencies #10

Improve Dockerfile and update dependencies

Improve Dockerfile and update dependencies #10

Workflow file for this run

#
# Copyright 2023, Colias Group, LLC
#
# SPDX-License-Identifier: BSD-2-Clause
#
name: "CI"
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
jobs:
check-licenses:
name: Check licenses
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/license-check@master
build-and-check:
name: Build and check
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Build and check
run: make -C docker/ test