Rewrite the Vert.x MDC tests to be more robust #1540

	name: Quarkus Documentation CI

	on:
	push:
	branches-ignore:
	- 'dependabot/**'
	- 'jakarta-rewrite'
	paths:
	- 'docs/src/main/asciidoc/**'
	- '.github/workflows/doc-build.yml'
	pull_request:
	paths:
	- 'docs/src/main/asciidoc/**'
	- '.github/workflows/doc-build.yml'

	concurrency:
	group: "workflow = ${{ github.workflow }}, ref = ${{ github.event.ref }}, pr = ${{ github.event.pull_request.id }}"
	cancel-in-progress: ${{ github.event_name == 'pull_request' \|\| github.repository != 'quarkusio/quarkus' }}

	jobs:
	ci-sanity-check:
	name: "CI Sanity Check"
	runs-on: ubuntu-latest
	steps:
	- name: Build
	run: sleep 30
	build-doc:
	name: "Documentation Build"
	runs-on: ubuntu-latest
	# Skip main in forks
	if: "github.repository == 'quarkusio/quarkus' \|\| !endsWith(github.ref, '/main')"
	steps:
	- uses: actions/checkout@v3
	- uses: n1hility/cancel-previous-runs@v2
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	- name: Set up JDK 11
	uses: actions/setup-java@v3
	with:
	distribution: temurin
	java-version: 11
	- name: Get Date
	id: get-date
	run: \|
	echo "::set-output name=date::$(/bin/date -u "+%Y-%m")"
	- name: Cache Maven Repository
	id: cache-maven
	uses: actions/cache@v3
	with:
	path: ~/.m2/repository
	# refresh cache every month to avoid unlimited growth
	key: q2maven-doc-${{ steps.get-date.outputs.date }}
	- name: Build
	run: \|
	./mvnw -Dquickly-ci -B -DskipDocs=false --settings .github/mvn-settings.xml install

	- name: Build Docs
	run: \|
	./mvnw -e -B --settings .github/mvn-settings.xml clean org.asciidoctor:asciidoctor-maven-plugin:process-asciidoc -pl docs -Ddocumentation-pdf

Provide feedback