Mirrors/EOS
1
0
Fork 0
mirror of https://github.com/Akkudoktor-EOS/EOS.git synced 2026-10-10 08:26:38 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

docs(development): record corrected PR head and CI progress

Browse Source
This commit is contained in:
Andreas
2026-09-16 18:10:37 +02:00
parent 3d12240569
commit 93f3c24fdd
2 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/development/pr-drafts/measurement-json-reload.md
+5 -2
View File
@@ -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
docs/development/pr-workflow.md
+1 -1
View File
@@ -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