Checks ID_AA64MMFR0_EL1 if page size is supported #712

	name: PR Build
	on:
	pull_request:
	branches:
	- '*'
	concurrency: pr-${{ github.ref }}
	jobs:
	prebuild:
	name: Pre build
	runs-on: ubuntu-latest
	steps:
	- name: Checkout source
	uses: actions/checkout@v4
	- name: Check Rust styles
	run: cargo fmt --check
	working-directory: src
	build-windows:
	name: Build
	uses: ./.github/workflows/ci-windows.yml
	needs: prebuild
	build-linux:
	name: Build
	uses: ./.github/workflows/ci-linux.yml
	needs: prebuild
	build-mac-intel:
	name: Build
	uses: ./.github/workflows/ci-mac.yml
	needs: prebuild
	with:
	name: Mac Intel
	macos: macos-12
	kernel-target: x86_64-unknown-none
	artifact-name: obliteration-mac-intel
	build-mac-m1:
	name: Build
	uses: ./.github/workflows/ci-mac.yml
	needs: prebuild
	with:
	name: Mac M1
	macos: macos-14
	kernel-target: aarch64-unknown-none-softfloat
	artifact-name: obliteration-mac-m1
	postbuild:
	name: Post build
	runs-on: ubuntu-latest
	needs: [build-windows, build-linux, build-mac-intel, build-mac-m1]
	steps:
	- name: Generate build information
	run: \|
	import json

	info = {
	"pr": ${{ github.event.number }},
	"base": "${{ github.base_ref }}",
	"head": "${{ github.event.pull_request.head.sha }}",
	"author": "${{ github.event.pull_request.head.user.login }}"
	}

	with open("build-info.json", "w") as fp:
	json.dump(info, fp)
	shell: python
	- name: Upload build information
	uses: actions/upload-artifact@v4
	with:
	name: build-info
	path: build-info.json

Provide feedback