Skip to content

Add AArch64 container variants #89

Add AArch64 container variants

Add AArch64 container variants #89

Workflow file for this run

# Copyright 2021, Proofcraft Pt Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# Build standard set of docker containers
name: Build
on: [pull_request]
jobs:
build-amd64:
name: Docker images (AMD64)
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: ./build.sh -v -b sel4
# the following will also build the plain camkes image:
- run: ./build.sh -v -b camkes -s cakeml -s rust
build-arm64:
name: Docker images (ARM64)
runs-on: [self-hosted, macos, ARM64]
steps:
- uses: actions/checkout@v4
- run: ./build.sh -v -b sel4
# the following will also build the plain camkes image:
- run: ./build.sh -v -b camkes -s cakeml -s rust
# This needs to rebuild the seL4 and camkes images (apart from cakeml/rust),
# but putting l4v in the same job as the large camkes-cakeml-rust image
# overflows the disk space of the GitHub runner.
build-l4v:
name: Docker images (l4v)
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: ./build.sh -v -b sel4
- run: ./build.sh -v -b camkes
- run: ./build.sh -v -b l4v