From dbfb80cd54809966ae18d7d73e9ff634ae5b8793 Mon Sep 17 00:00:00 2001 From: Dario Gabriel Lipicar Date: Sun, 28 Jun 2026 00:53:21 -0300 Subject: [PATCH] ci: pin report run to 0.2.0 for the tutorial-v4 hub snapshot Snapshot-only branch (do NOT merge). Its CI run publishes an immutable gh-pages directory `pr-//` whose two-column report executes the tutorials pinned to the 0.2.0 release tags, matching the tutorial-v4 release. logos-doctest-hub's `v4` version entry pins to this pr- dir (the same pattern v3 used with pr-61). master stays unpinned so the nightly `main/` report keeps tracking edge. Co-Authored-By: Claude Opus 4.8 --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ecaa5ba..665cfce 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -72,6 +72,7 @@ jobs: tests/tutorial-interface-dependencies.test.yaml \ --verbose \ --continue-on-fail \ + --release 0.2.0 \ --report "${{ runner.temp }}/tutorial-report.html" - name: Stage report for upload