From 1fa5a9f534665243d1c8a7c35850b61277caf0f0 Mon Sep 17 00:00:00 2001
From: Fabiano Cruz <fabianoc@acm.org>
Date: Thu, 3 Sep 2026 13:54:59 -0300
Subject: [PATCH] =?UTF-8?q?ci:=20empty-commit=20control=20run=20=E2=80=94?=
 =?UTF-8?q?=20baseline=20main=20tree,=20proves=20example-job=20state=20(re?=
 =?UTF-8?q?view=20of=20#126)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

No tree change: this PR exists only to run CI against the exact
origin/main tree today, because the last main run is >30 days old (not
re-runnable) and the validate-example jobs pull the external runtime
image ghcr.io/codespar/codespar:main at run time. Will be closed
unmerged.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01BtvPxidmzsA22yoVJSWdba