Add debug info to the docker build #70

	name: Docker Image CI

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

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

	jobs:
	opensut-base:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- name: Checkout submodules
	run: \|
	git config --global url."https://galoisactions:${{ secrets.VERSE_VHOST_DEVICE_ACCESS_TOKEN }}@github.com/".insteadOf "[email protected]:"
	git submodule update --init components/autopilot/ardupilot
	- 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}}"
	ls -l components/autopilot/ardupilot
	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