Fix pointer types #85

	# SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <open-source-office@arm.com>
	#
	# SPDX-License-Identifier: Apache-2.0
	name: CI

	on: [push, pull_request]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4.1.7
	- name: check the correctness of the sources and generate the PDFs
	run: ./build_with_docker.sh
	- uses: actions/upload-artifact@v4.4.0
	with:
	name: pdfs
	path: pdfs

	build-github-pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4.1.7
	- name: generate the GitHub Pages locally in order to check for errors
	run: ./tools/build-github-pages.sh build

	markdown-link-check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4.1.7
	- uses: gaurav-nelson/github-action-markdown-link-check@v1
	with:
	config-file: '.github/workflows/markdown-link-check.json'

	draftversion-check:
	runs-on: ubuntu-latest
	if: github.base_ref == 'main' \|\| github.ref == 'refs/heads/main'
	steps:
	- uses: actions/checkout@v4.1.7
	with:
	fetch-depth: 0
	- name: Check correctness of draftversion fields
	run: python ./tools/acle_draftversion_value_check.py .

Provide feedback