Rust CI

Workflow runs for Rust CI

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline mark…

  completed successfully:
  Rust CI#891:Commit36f1055pushedbyhyperpolymath
  main

  Nov 10, 20269m 20s
  More actions for workflow run 891

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  failed:
  Rust CI#890:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 10, 20262m 33s
  More actions for workflow run 890

• feat(publish): prototype generation-directory publish (not wired), wi…

  completed successfully:
  Rust CI#889:Commitd4a68edpushedbyhyperpolymath
  main

  Nov 9, 20263m 10s
  More actions for workflow run 889

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  failed:
  Rust CI#888:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20261m 27s
  More actions for workflow run 888

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-commen…

  completed successfully:
  Rust CI#887:Commite12b823pushedbyhyperpolymath
  main

  Nov 9, 20263m 15s
  More actions for workflow run 887

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  failed:
  Rust CI#886:Pull request#281synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20262m 43s
  More actions for workflow run 886

• fix(assail): refuse an unwritable KYAML copy or sidecar before replac…

  completed successfully:
  Rust CI#885:Commit671c3a9pushedbyhyperpolymath
  main

  Nov 9, 20265m 7s
  More actions for workflow run 885

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  failed:
  Rust CI#884:Pull request#274synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 20262m 35s
  More actions for workflow run 884

• fix(deps): move futures-util to 0.3.34, dropping pin-utils (#273)

  completed successfully:
  Rust CI#883:Commit39db4e3pushedbyhyperpolymath
  main

  Nov 9, 20263m 10s
  More actions for workflow run 883

• chore(deps): bump the actions group across 1 directory with 4 updates

  completed successfully:
  Rust CI#882:Pull request#284openedbydependabot[bot]Bot
  dependabot/github_actions/actions-bfe1b08dbd

  Nov 9, 20263m 8s
  More actions for workflow run 882

• feat(assail): route languages through a tested table; retire the vacuous PA1

  completed successfully:
  Rust CI#881:Pull request#282openedbyhyperpolymath
  claude/pa1-routing-table

  Nov 9, 20262h 29m 45s
  More actions for workflow run 881

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  completed successfully:
  Rust CI#880:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 20262h 28m 26s
  More actions for workflow run 880

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  Rust CI#879:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 20262h 28m 50s
  More actions for workflow run 879

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  completed successfully:
  Rust CI#878:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 20262h 47m 48s
  More actions for workflow run 878

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  Rust CI#877:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 20262h 46m 31s
  More actions for workflow run 877

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  completed successfully:
  Rust CI#876:Pull request#281openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20262h 18m 22s
  More actions for workflow run 876

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  completed successfully:
  Rust CI#875:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 20261h 54m 32s
  More actions for workflow run 875

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Rust CI#874:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20261h 51m 53s
  More actions for workflow run 874

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  completed successfully:
  Rust CI#873:Pull request#279openedbyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 20261h 54m 0s
  More actions for workflow run 873

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  completed successfully:
  Rust CI#872:Pull request#278openedbyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 20261h 52m 25s
  More actions for workflow run 872

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  Rust CI#871:Pull request#277openedbyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 20261h 48m 49s
  More actions for workflow run 871

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Rust CI#870:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20261h 0m 40s
  More actions for workflow run 870

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Rust CI#869:Pull request#275openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202649m 1s
  More actions for workflow run 869

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  completed successfully:
  Rust CI#868:Pull request#274openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 202645m 35s
  More actions for workflow run 868

• fix(deps): move futures-util to 0.3.34, dropping pin-utils

  completed successfully:
  Rust CI#867:Pull request#273openedbyhyperpolymath
  claude/futures-util-drop-pin-utils

  Nov 9, 202645m 2s
  More actions for workflow run 867