Merge commits from main in attestation-dev branch #8

	#
	# SPDX-License-Identifier: Apache-2.0
	#

	# This workflow is intended to be used as a validity test for any
	# pull request. That is, this is a minimal functionality that must
	# be successfully executed prior to merging a pull request. Note
	# that this can be overridden by adding '[skip ci]' in the commit
	# name. This should not be done on the main PDO branch.

	name: Run full PDO tests
	on: [ pull_request ]

	jobs:
	pdo_full_tests:
	if: "!contains(github.event.commits[0].message, '[skip ci]')"
	name: Run full PDO tests
	runs-on: ubuntu-22.04

	strategy:
	matrix:
	interpreter: [wawaka, wawaka-opt]
	pdo_ledger_type: [ccf]

	steps:
	- name: Check out repo
	uses: actions/checkout@v4
	with:
	submodules: recursive
	fetch-depth: 0
	fetch-tags: true

	- name: Display branch name
	run: \|
	echo PDO VERSION is $(bin/get_version)
	echo "BRANCH is $GITHUB_HEAD_REF"

	- name: Build and run tests
	env:
	PDO_INTERPRETER: ${{ matrix.interpreter }}
	PDO_LOG_LEVEL: warning
	run: \|
	# The creation of a dummy branch is necessary for the CI tests
	# to work on PRs. Based on empirical results, in the absence of
	# this command, CI tests work on the main branch and on local
	# branches. However, they fail as a PR is created.
	git checkout -b ci-test-branch
	. build/common-config.sh
	make -C docker test

Provide feedback