docker-build.yml

# 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:
    - name: "Unlock MacOS Keychain"
      run: security unlock-keychain -p ${{secrets.M2_MINI_PWD}}
    - uses: actions/checkout@v4
    # don't use cached images on the self-hosted runner to make sure we are
    # picking up current Debian repo state. The GitHub runners start from
    # scratch, so don't need it.
    - run: ./build.sh -rv -b sel4
    # the following will also build the plain camkes image:
    - run: ./build.sh -rv -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