CI-4: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job by hyperpolymath · Pull Request #476 · hyperpolymath/echidna

fix(deps): move rmcp to 3.9.0 off three RustSec advisories

claude

committed

20dc691

style: rustfmt src/rust/proof_search.rs

claude

committed

17ebbb1

fix(ffi): annotate the audited Zig context-pointer casts for Hypatia

claude

committed

f48fe0a

Merge remote-tracking branch 'origin/claude/new-session-th4e9w-fmt-proof-search' into claude/new-session-th4e9w-rustsec-rmcp

claude

committed

b00eec3

Merge remote-tracking branch 'origin/claude/new-session-th4e9w-zig-cast-audit' into claude/new-session-th4e9w-rustsec-rmcp

claude

committed

1e0d68a

Merge origin/main into the W0 ci lane

claude

committed

d7a92b2

ci: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job

claude

committed

4ddfe3f

Merge remote-tracking branch 'origin/claude/new-session-th4e9w-rustsec-rmcp' into claude/zen-brahmagupta-opqqle-w0-ci

claude

committed

4f0a9b5

ci(container): name the paths that make two builds differ, not only the layer

claude

committed

e2945c5

fix(ci): fingerprint names are data, never shell; review fixes for CI-4

claude

committed

4d9dfcf

Merge branch 'main' into claude/zen-brahmagupta-opqqle-w0-ci

hyperpolymath

authored

e01e3e2

Merge branch 'main' into claude/zen-brahmagupta-opqqle-w0-ci

hyperpolymath

authored

fbdad82

Navigation Menu

Repository navigation

CI-4: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job - #476

CI-4: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job#476
hyperpolymath merged 13 commits into
mainfrom
claude/zen-brahmagupta-opqqle-w0-ci

Commits on Nov 5, 2026

ci: dispose of the 14 allow-fail units and retire the T1 Guix job

Commits on Nov 9, 2026

fix(deps): move rmcp to 3.9.0 off three RustSec advisories

style: rustfmt src/rust/proof_search.rs

fix(ffi): annotate the audited Zig context-pointer casts for Hypatia

Merge remote-tracking branch 'origin/claude/new-session-th4e9w-fmt-proof-search' into claude/new-session-th4e9w-rustsec-rmcp

Merge remote-tracking branch 'origin/claude/new-session-th4e9w-zig-cast-audit' into claude/new-session-th4e9w-rustsec-rmcp

Merge origin/main into the W0 ci lane

ci: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job

Merge remote-tracking branch 'origin/claude/new-session-th4e9w-rustsec-rmcp' into claude/zen-brahmagupta-opqqle-w0-ci

ci(container): name the paths that make two builds differ, not only the layer

fix(ci): fingerprint names are data, never shell; review fixes for CI-4

Merge branch 'main' into claude/zen-brahmagupta-opqqle-w0-ci

Merge branch 'main' into claude/zen-brahmagupta-opqqle-w0-ci