Update cerberus to latest master #65

	name: Docker Image CI

	on:
	push:
	# branches:
	# - 'main'

	env:
	CERBERUS_IMAGE_ID: ghcr.io/galoisinc/verse-opensut/cerberus:release
	OPENSUT_BASE_IMAGE_ID: ghcr.io/galoisinc/verse-opensut/opensut-base:latest

	jobs:
	cerberus:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: false
	- name: Checkout Cerberus submodule
	run: git submodule update --init src/cerberus
	- name: Login to GitHub Container Registry
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.VERSE_OPENSUT_ACCESS_TOKEN }}

	- name: Set up QEMU
	uses: docker/setup-qemu-action@v3
	- name: Set up Docker Buildx
	uses: docker/setup-buildx-action@v3

	- name: Build multi-platform image
	uses: docker/build-push-action@v5
	with:
	context: src/cerberus
	platforms: linux/amd64,linux/arm64
	push: true
	tags: ${{env.CERBERUS_IMAGE_ID}}
	file: Dockerfile.ubuntu
	github-token: ${{ secrets.VERSE_OPENSUT_ACCESS_TOKEN }}

	opensut-base:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	token: ${{ secrets.VERSE_VHOST_DEVICE_ACCESS_TOKEN }}
	- name: Login to GitHub Container Registry
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.VERSE_OPENSUT_ACCESS_TOKEN }}
	- name: Build the Docker image
	run: \|
	echo "Building ${{env.OPENSUT_BASE_IMAGE_ID}}"
	docker build . --file Dockerfile --tag ${{env.OPENSUT_BASE_IMAGE_ID}}
	- name: Push the Docker image
	run: docker push ${{env.OPENSUT_BASE_IMAGE_ID}}

Provide feedback