Add the static site linter + Cleanup documentation imports #12

	name: Continuous Integration

	on:
	# We have deploy there
	# push:
	# branches: [ "main" ]
	pull_request:
	branches: [ "main" ]
	workflow_dispatch:

	jobs:
	# Build job
	build:
	runs-on: ubuntu-latest

	permissions:
	contents: read
	packages: read

	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	submodules: "true"

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.10"

	- name: Login to GitHub Container Registry
	uses: docker/login-action@v2
	with:
	registry: ghcr.io
	username: ${{ github.repository_owner }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Build in the dev container image
	uses: devcontainers/[email protected]
	with:
	imageName: ghcr.io/gradleup/gradleup.github.io-builder
	cacheFrom: ghcr.io/gradleup/gradleup.github.io-builder
	push: never
	runCmd: \|
	mkdocs build
	env: \|
	FULL_BUILD=true

	- name: Lint the static site
	uses: anishathalye/proof-html@v2
	with:
	directory: ./_site
	enforce_https: false
	tokens: \|
	{"https://github.com": "${{ secrets.GITHUB_TOKEN }}"}
	ignore_url: \|
	https://fonts.gstatic.com

Provide feedback