[CI] Remove Maven profile full in favour of using docs for all document generation. #1311

	name: CI PRs

	on:
	pull_request:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: find . -type f -name "*.sh" -exec chmod a+x '{}' \;
	- uses: actions/setup-java@v3
	with:
	java-version: '17'
	distribution: 'liberica'
	- name: Build
	shell: bash
	timeout-minutes: 75
	run: \|
	./mvnw -B -Pdocs clean install --no-transfer-progress
	- name: Test Report
	uses: dorny/test-reporter@v1
	if: ${{ success() \|\| failure() }}
	with:
	name: Unit Tests
	path: '*/surefire-reports/.xml'
	reporter: java-junit
	list-tests: failed
	scan:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Run Trivy vulnerability scanner in repo mode
	uses: aquasecurity/trivy-action@master
	with:
	scan-type: 'fs'
	ignore-unfixed: true
	format: 'table'
	severity: 'CRITICAL,HIGH'
	- name: 'Scanned'
	shell: bash
	run: echo "::info ::Scanned"
	done:
	runs-on: ubuntu-latest
	needs: [ scan, build ]
	steps:
	- name: 'Done'
	shell: bash
	run: echo "::info ::Done"

Provide feedback