Hypatia Security Scan

hypatia-scan.yml

982 workflow runs

feat(assail): line-anchor Lean/Isabelle sorry findings so inline mark…
completed successfully:
Hypatia Security Scan#984:Commit36f1055pushedbyhyperpolymath
main
Nov 10, 20264m 3s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
Hypatia Security Scan#983:Pull request#278synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 10, 20263m 29s
feat(publish): prototype generation-directory publish (not wired), wi…
completed successfully:
Hypatia Security Scan#982:Commitd4a68edpushedbyhyperpolymath
main
Nov 9, 20261m 29s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Hypatia Security Scan#981:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202651s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-commen…
completed successfully:
Hypatia Security Scan#980:Commite12b823pushedbyhyperpolymath
main
Nov 9, 20261m 13s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping
completed successfully:
Hypatia Security Scan#979:Pull request#281synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Nov 9, 20262m 5s
fix(assail): refuse an unwritable KYAML copy or sidecar before replac…
completed successfully:
Hypatia Security Scan#978:Commit671c3a9pushedbyhyperpolymath
main
Nov 9, 20262m 8s
fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report
completed successfully:
Hypatia Security Scan#977:Pull request#274synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-m-companion-writable
Nov 9, 20261m 10s
fix(deps): move futures-util to 0.3.34, dropping pin-utils (#273)
completed successfully:
Hypatia Security Scan#976:Commit39db4e3pushedbyhyperpolymath
main
Nov 9, 202648s
chore(deps): bump the actions group across 1 directory with 4 updates
completed successfully:
Hypatia Security Scan#975:Pull request#284openedbydependabot[bot]Bot
dependabot/github_actions/actions-bfe1b08dbd
Nov 9, 20261m 20s
feat(assail): route languages through a tested table; retire the vacuous PA1
completed successfully:
Hypatia Security Scan#974:Pull request#282stackedbyhyperpolymath
claude/pa1-routing-table
Nov 9, 202640m 51s
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths
completed successfully:
Hypatia Security Scan#973:Pull request#279stackedbyhyperpolymath
claude/abi-idris2-gate
Nov 9, 202639m 2s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
Hypatia Security Scan#972:Pull request#277synchronizebyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202638m 43s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
Hypatia Security Scan#971:Pull request#277synchronizebyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202638m 58s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping
completed successfully:
Hypatia Security Scan#970:Pull request#281openedbyhyperpolymath
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Nov 9, 202641m 58s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
Hypatia Security Scan#969:Pull request#278synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 9, 202633m 15s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Hypatia Security Scan#968:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202632m 15s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
Hypatia Security Scan#967:Pull request#278openedbyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 9, 202627m 38s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
Hypatia Security Scan#966:Pull request#277openedbyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202628m 18s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Hypatia Security Scan#965:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202614m 11s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
Hypatia Security Scan#964:Pull request#275openedbyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202611m 40s
fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report
completed successfully:
Hypatia Security Scan#963:Pull request#274openedbyhyperpolymath
claude/gallant-bell-4bo4oy-m-companion-writable
Nov 9, 202611m 24s
fix(deps): move futures-util to 0.3.34, dropping pin-utils
completed successfully:
Hypatia Security Scan#962:Pull request#273openedbyhyperpolymath
claude/futures-util-drop-pin-utils
Nov 9, 202610m 52s
Hypatia Security Scan
completed successfully:
Hypatia Security Scan#961:Scheduled
main
Nov 8, 202659s
chore(deps): bump ureq from 3.5.0 to 3.5.1 in the rust-minor group
completed successfully:
Hypatia Security Scan#960:Pull request#272openedbydependabot[bot]Bot
dependabot/cargo/rust-minor-a61e9ba369
Nov 7, 202659s