Repository navigation

Merge pull request #1 from copyleftdev/agent/eceb-v0-1 #6

	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read

	jobs:
	rust:
	name: Rust and protocol gates
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v6
	- name: Install Rust 1.88
	run: rustup toolchain install 1.88.0 --profile minimal --component rustfmt,clippy
	- name: Select Rust 1.88
	run: rustup default 1.88.0
	- name: Install conformance tools
	run: \|
	sudo apt-get update
	sudo apt-get install --yes jq ripgrep
	python3 -m pip install --user check-jsonschema
	- name: Check formatting
	run: cargo fmt --all --check
	- name: Lint
	run: cargo clippy --all-features --all-targets -- -D warnings
	- name: Test
	run: cargo test --all-features --all-targets --locked
	- name: Validate SCGP-0.1
	run: spec/validate.sh
	- name: Validate ECEB-0.1
	run: scripts/eceb-conformance.sh
	- name: Build documentation
	run: cargo doc --all-features --no-deps --locked
	- name: Package
	run: cargo package --locked

	site:
	name: Static site checks
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v6
	- name: Install site tools
	run: \|
	sudo apt-get update
	sudo apt-get install --yes ripgrep
	- name: Check required site files and links
	run: scripts/site-check.sh
	- name: Validate HTML
	run: npx --yes html-validate site/index.html site/404.html