logs: a proof run that checked nothing -- isabelle build found StarForth up to date

Browse Source

logs/20261106-151805: scripts/nightly.sh proofs before -c was added. The
StarForth session's sources were unchanged since the day's earlier build,
so Isabelle reused its result and proved nothing anew (0:00:10). Kept as
the record of that run; the stage now passes -c, and the run after it
(20261106-151902) checked StarForth afresh.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2

...

This commit is contained in:

rajames

2026-11-06 15:22:17 +00:00

co-authored by Claude Opus 5.5

parent d185b64487

commit 3b0fe81669

1 changed files with 3 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

logs/20261106-151805/isabelle/isabelle-20261106-151805.log

LFS

BIN

Binary file not shown.