rajames/LithosAnanke
1
1
Fork 0
Code Issues 43 Pull Requests 1 Actions 3 Packages Projects Releases Activity
Files
master
LithosAnanke/logs
T
History
rajamesandClaude Opus 5.5 3b0fe81669 logs: a proof run that checked nothing -- isabelle build found StarForth up to date 
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
2026-11-06 15:22:17 +00:00
..
20261016-195623/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261016-225913/amd64
safety commit
2026-10-19 06:35:46 -04:00
20261019-153106/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-084230/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-084520/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-084933/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-125114/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-125411/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-125820/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-150720/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-150951/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261020-151321/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-081016/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-081116/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-083603/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-084729/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-084929/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-085200/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-085828/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-091010/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-091207/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-091438/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-091821/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-101827/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-102031/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-102416/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-102633/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-103116/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-111650/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-111907/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-112248/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-112524/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-112953/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-113154/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-113359/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-113609/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-113800/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-114043/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-124142/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-124341/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-124719/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-124938/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-125415/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-134805/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-134850/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-135549/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-135746/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-135835/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-145722/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-145859/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-150231/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151003/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151100/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151238/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151332/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151438/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151528/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151610/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151722/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-151916/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-152247/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-153051/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-153309/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-153609/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-153918/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-154233/amd64
feat(v4): the screen and the keyboards
2026-10-26 18:02:27 -04:00
20261026-154239/amd64
feat(v4): the screen and the keyboards
2026-10-26 18:02:27 -04:00
20261026-154245/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-154718/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-155116/amd64
feat(v4): the screen and the keyboards
2026-10-26 18:02:27 -04:00
20261026-155145/amd64
feat(v4): the screen and the keyboards
2026-10-26 18:02:27 -04:00
20261026-155227/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-155546/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-155926/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-160156/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-160409/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-160630/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-160857/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-161206/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-161414/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-161820/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-162245/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-162545/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-162750/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-163055/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-163312/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-163536/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-163802/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-164009/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-164115/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-164313/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-164548/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-164757/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-174704/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-174911/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-175315/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-183308/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-183529/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-183759/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-184115/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-184328/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-184552/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-184805/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-185028/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-185243/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-185504/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-185804/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-185956/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-190111/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-190312/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-190710/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-193158/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-193804/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-194713/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-194947/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-195409/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-195627/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-195854/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-200136/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-200424/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-200839/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-201119/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-201422/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-201628/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-201934/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-202152/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-202413/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-202642/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-202913/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-203135/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-203403/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-203627/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-203833/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-204237/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-214300/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-214507/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261026-214911/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-070048/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-070335/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-070717/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-071113/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-071422/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-071731/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-072040/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-072348/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-072652/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-072933/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-073222/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-073619/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-074047/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-074526/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-075016/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-075535/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-080036/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-080358/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-080628/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-080956/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-081235/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-081519/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-081808/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-082101/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-082345/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-082635/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-083130/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-093121/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-093352/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-093750/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-133146/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-133417/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-133815/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-134815/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-135045/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-135443/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-135941/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-140254/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-140525/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-140931/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-141444/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-141714/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-142115/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-142517/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-142828/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-143108/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-143408/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-143714/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-144027/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-144338/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-144647/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-144957/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-145320/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-145549/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-145918/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-150158/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-150442/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-150734/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-151030/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-151316/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-151607/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-161606/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-161837/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-162237/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-184901/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-185215/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-185447/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261027-185849/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-061709/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-061942/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-062307/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-062635/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-062916/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-063202/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-063453/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-063748/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-064034/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-064326/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-064531/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-064813/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-065104/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-065409/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-065730/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-070041/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-070352/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-070641/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-070954/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-071347/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-071747/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-072201/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-072621/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-083117/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-083348/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-083749/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-084256/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-084503/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-084731/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-085131/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-085601/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-085807/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-090032/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-090431/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-090710/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-091446/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-101808/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-102039/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-102440/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-102740/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-102811/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-103126/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-103357/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-103757/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-104411/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-104545/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-104832/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-105035/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-105445/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-105708/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-120018/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-120222/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-120632/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-124203/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-125001/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-130007/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-130801/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-131600/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-131817/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-132215/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-132549/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-133021/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-133329/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-133636/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-134216/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-134420/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-134831/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-135023/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-135227/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-135436/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-135834/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-140114/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-140351/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-140635/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-140920/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-141246/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-141526/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-141804/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-141944/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-142118/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-142315/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-142422/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-142720/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-142924/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-143227/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-143445/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-143710/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-143937/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-144156/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-144421/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-144632/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-144910/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-145154/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-145437/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-145721/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-160204/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-160408/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-160822/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-161120/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-161454/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-162239/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-162511/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-162958/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-163250/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-163516/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-163733/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-174137/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-174340/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261028-174758/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261029-070253/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261029-070508/amd64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261029-070715/aarch64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261029-071138/riscv64
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
2026-11-06 00:43:48 +00:00
20261106-004933/amd64
logs: acceptance of fd208825 (overlong lines refused; a refused store moves neither A nor P)
2026-11-06 01:05:03 +00:00
20261106-005153/aarch64
logs: acceptance of fd208825 (overlong lines refused; a refused store moves neither A nor P)
2026-11-06 01:05:03 +00:00
20261106-005530/riscv64
logs: acceptance of fd208825 (overlong lines refused; a refused store moves neither A nor P)
2026-11-06 01:05:03 +00:00
20261106-005712/amd64
logs: acceptance of fd208825 (overlong lines refused; a refused store moves neither A nor P)
2026-11-06 01:05:03 +00:00
20261106-015650/isabelle
logs: Isabelle/HOL proof build of 4cef0431 -- passed
2026-11-06 02:05:37 +00:00
20261106-143358/amd64
logs: the nightly's boot checks, run by hand -- amd64, aarch64, riscv64 headless, PASS
2026-11-06 14:45:36 +00:00
20261106-143709/aarch64
logs: the nightly's boot checks, run by hand -- amd64, aarch64, riscv64 headless, PASS
2026-11-06 14:45:36 +00:00
20261106-144150/riscv64
logs: the nightly's boot checks, run by hand -- amd64, aarch64, riscv64 headless, PASS
2026-11-06 14:45:36 +00:00
20261106-150239/amd64
logs: the nightly's stages run by hand -- acceptance, proofs -- PASS
2026-11-06 15:21:59 +00:00
20261106-150451/aarch64
logs: the nightly's stages run by hand -- acceptance, proofs -- PASS
2026-11-06 15:21:59 +00:00
20261106-150842/riscv64
logs: the nightly's stages run by hand -- acceptance, proofs -- PASS
2026-11-06 15:21:59 +00:00
20261106-151030/amd64
logs: the nightly's stages run by hand -- acceptance, proofs -- PASS
2026-11-06 15:21:59 +00:00
20261106-151805/isabelle
logs: a proof run that checked nothing -- isabelle build found StarForth up to date
2026-11-06 15:22:17 +00:00
20261106-151902/isabelle
logs: the nightly's stages run by hand -- acceptance, proofs -- PASS
2026-11-06 15:21:59 +00:00
README.md
safety commit
2026-10-19 06:49:11 -04:00

README.md

logs/

QEMU acceptance-run history and Tripod smoke-test results.

Reference in New Issue View Git Blame Copy Permalink