Repository navigation

Add prerequisite-aware problem learning path #4

	name: Verify problem collection

	on:
	push:
	branches: [main]
	pull_request:

	permissions:
	contents: read

	jobs:
	verify:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-node@v4
	with:
	node-version: 24
	- run: make verify
	- name: Enforce append-only browser bundles
	env:
	BASE_SHA: ${{ github.event.pull_request.base.sha \|\| github.event.before }}
	run: \|
	if [[ -z "$BASE_SHA" \|\| "$BASE_SHA" =~ ^0+$ ]]; then
	exit 0
	fi
	git fetch --no-tags --depth=1 origin "$BASE_SHA"
	deleted="$(git diff --diff-filter=D --name-only "$BASE_SHA" HEAD -- collection/problems)"
	if [[ -n "$deleted" ]]; then
	echo "Published content-addressed bundles are append-only:" >&2
	echo "$deleted" >&2
	exit 1
	fi