Skip to content

ledger: re-derive from master 3430287f41bf, as its lab verdict APPLY says (Closes #11318) - #11319

Merged
gHashTag merged 1 commit into
masterfrom
steward/t27b-ledger-3430287f41bf
Oct 20, 2026
Merged

gHashTag merged 1 commit into
masterfrom
steward/t27b-ledger-3430287f41bf

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11318

From https://t27b-lab-production.up.railway.app/ledger/3430287f41bf1ca79e1e6eb62a99cdce57ddf188.patch, applied unchanged; verdict https://t27b-lab-production.up.railway.app/ledger/3430287f41bf1ca79e1e6eb62a99cdce57ddf188.json (see #9092).

finding file t27b or spec verdict refusal or saved
UNEXPECTED FAILURE specs/claw/suggest_feed.t27 timeout REFUSE 1
STALE specs/t27os/pty_client.t27 pass DROP 0
STALE specs/t27os/pty_server.t27 pass DROP 0
STALE specs/t27os/pty_sys.t27 pass DROP 0
UNLISTED specs/analog/mos_psp103_gates.t27 pass ADD 0
UNLISTED specs/analog/mos_psp103_vsb_data.t27 pass ADD 0
UNLISTED specs/automation/hive-proxy.t27 pass ADD 0
UNLISTED specs/host/csr_map.t27 pass ADD 0
UNLISTED specs/t27os/bench.t27 pass ADD 0
UNLISTED specs/t27os/homes.t27 pass ADD 0

@gHashTag
gHashTag enabled auto-merge (squash) October 20, 2026 09:59
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-20 10:00:00 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 2
FAILING 47
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 47 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=5aec047d42ec != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit 43cde91 into master Oct 20, 2026
32 of 34 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ledger: re-derive from master 3430287f41bf, as its lab verdict APPLY says

2 participants