[FMV] Change the default versions name mangling. #960

	# SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <[email protected]>
	#
	# SPDX-License-Identifier: Apache-2.0
	name: CI

	on: [push, pull_request]

	jobs:
	build:
	runs-on: ubuntu-latest

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

	build-github-pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- 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@master
	- uses: gaurav-nelson/github-action-markdown-link-check@v1
	with:
	config-file: '.github/workflows/markdown-link-check.json'

	draftversion-check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: check correctness of draftversion fields
	run: python ./tools/acle_draftversion_value_check.py .

Provide feedback