Dependency Review

dependency-review.yml

505 workflow runs

feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
Dependency Review#505:Pull request#278synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 10, 20262m 1s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Dependency Review#504:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202617s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping
completed successfully:
Dependency Review#503:Pull request#281synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Nov 9, 202650s
fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report
completed successfully:
Dependency Review#502:Pull request#274synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-m-companion-writable
Nov 9, 20262m 41s
chore(deps): bump the actions group across 1 directory with 4 updates
completed successfully:
Dependency Review#501:Pull request#284openedbydependabot[bot]Bot
dependabot/github_actions/actions-bfe1b08dbd
Nov 9, 202614s
feat(assail): route languages through a tested table; retire the vacuous PA1
completed successfully:
Dependency Review#500:Pull request#282stackedbyhyperpolymath
claude/pa1-routing-table
Nov 9, 202639m 17s
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths
completed successfully:
Dependency Review#499:Pull request#279stackedbyhyperpolymath
claude/abi-idris2-gate
Nov 9, 202638m 29s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
Dependency Review#498:Pull request#277synchronizebyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202639m 13s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
Dependency Review#497:Pull request#277synchronizebyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202638m 9s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping
completed successfully:
Dependency Review#496:Pull request#281openedbyhyperpolymath
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Nov 9, 202639m 42s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
Dependency Review#495:Pull request#278synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 9, 202632m 39s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Dependency Review#494:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202631m 43s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
Dependency Review#493:Pull request#278openedbyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 9, 202627m 10s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
Dependency Review#492:Pull request#277openedbyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202627m 27s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Dependency Review#491:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202615m 35s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Dependency Review#490:Pull request#275openedbyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202612m 30s
fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report
completed successfully:
Dependency Review#489:Pull request#274openedbyhyperpolymath
claude/gallant-bell-4bo4oy-m-companion-writable
Nov 9, 202610m 46s
fix(deps): move futures-util to 0.3.34, dropping pin-utils
completed successfully:
Dependency Review#488:Pull request#273openedbyhyperpolymath
claude/futures-util-drop-pin-utils
Nov 9, 202610m 31s
chore(deps): bump ureq from 3.5.0 to 3.5.1 in the rust-minor group
completed successfully:
Dependency Review#487:Pull request#272openedbydependabot[bot]Bot
dependabot/cargo/rust-minor-a61e9ba369
Nov 7, 20269s
Fix recon's real baseline and simplify ledger verification
completed successfully:
Dependency Review#486:Pull request#271openedbyhyperpolymath
fix/echo362-final-review
Nov 7, 202611s
Replace legacy Python CI helpers with tested Rust equivalents
completed successfully:
Dependency Review#485:Pull request#270openedbyhyperpolymath
fix/echo362-native-ci-tools-20261107
Nov 7, 202611s
Finish Windows portability review controls without Git-dependent Cargo tests
completed successfully:
Dependency Review#484:Pull request#269openedbyhyperpolymath
fix/echo362-portability-review-20261107
Nov 7, 20268s
Fix Windows checkout paths and prevent non-portable mass-panic reports
completed successfully:
Dependency Review#483:Pull request#268openedbyhyperpolymath
fix/windows-report-paths-echo362
Nov 7, 202611s
chore(deps): bump the actions group with 3 updates
completed successfully:
Dependency Review#482:Pull request#267openedbydependabot[bot]Bot
dependabot/github_actions/actions-92276e7fb0
Nov 6, 202610s
test(security): annotate intentional hardcoded-password detection fixture
completed successfully:
Dependency Review#481:Pull request#266openedbyhyperpolymath
fix/annotate-secret-detector-fixture-20261106
Nov 6, 202611s