From 93f3c24fdd70edb7ca81c5ea0d37ad974cf8e758 Mon Sep 17 00:00:00 2001 From: Andreas Date: Wed, 16 Sep 2026 18:10:37 +0200 Subject: [PATCH] docs(development): record corrected PR head and CI progress --- docs/development/pr-drafts/measurement-json-reload.md | 7 +++++-- docs/development/pr-workflow.md | 2 +- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/docs/development/pr-drafts/measurement-json-reload.md b/docs/development/pr-drafts/measurement-json-reload.md index 65e70aa0..aeef048b 100644 --- a/docs/development/pr-drafts/measurement-json-reload.md +++ b/docs/development/pr-drafts/measurement-json-reload.md @@ -2,9 +2,12 @@ Target: `Akkudoktor-EOS/EOS:main`. Local branch: `fix/measurement-json-reload`. -Local head: `bdc754d` (rebased onto main `4a37244`). +Local head: `ce132ea` (based on main `4a37244`). Status: published with explicit user approval as [PR #1322](https://github.com/Akkudoktor-EOS/EOS/pull/1322). -One commit, two files; published head and diff verified. CI started; not merged. +Two commits, two files; published head and diff verified. Not merged. +The second commit adds an explicit non-null timestamp assertion after CI mypy +flagged the test. All 49 local tests still pass. Pre-commit (including mypy), +CodeQL and Docker build passed on ce132ea; full CI pytest is still running. ## Proposed PR body diff --git a/docs/development/pr-workflow.md b/docs/development/pr-workflow.md index df2b6a6f..6ffa415c 100644 --- a/docs/development/pr-workflow.md +++ b/docs/development/pr-workflow.md @@ -8,7 +8,7 @@ Die übrige Integration steht weiterhin auf dem zuvor geprüften `7ebe6d7`. Ein unabhängiger, lokal getesteter PR ist veröffentlicht: `fix/measurement-json-reload` auf aktuellem main. Sein Worktree ist `../EOS-pr-measurement-json`; er enthält nur zwei geänderte Dateien. Der veröffentlichte [PR #1322](https://github.com/Akkudoktor-EOS/EOS/pull/1322) -enthält Commit `bdc754d`. Der PR-Text steht in +enthält zwei Commits bis `ce132ea`. Der PR-Text steht in [measurement-json-reload.md](pr-drafts/measurement-json-reload.md). Das ist ein konkreter Einstieg in den PR-Workflow. Die vollständige Übernahme aller