Skip to content

Actions: hyperpolymath/affinescript

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
1,378 workflow runs
1,378 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(release): restore release binaries — immutable-release draft flow + portable BSD sed Hypatia Security Scan #1253: Pull request #641 opened by hyperpolymath
54s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
54s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… Hypatia Security Scan #1252: Commit 5a42e6e pushed by hyperpolymath
1m 3s main
main
1m 3s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Hypatia Security Scan #1251: Pull request #640 synchronize by hyperpolymath
1m 4s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 4s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… Hypatia Security Scan #1250: Commit 41dfce9 pushed by hyperpolymath
1m 11s main
main
1m 11s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Hypatia Security Scan #1249: Pull request #640 opened by hyperpolymath
56s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
56s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Hypatia Security Scan #1248: Pull request #639 synchronize by hyperpolymath
1m 6s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
1m 6s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Hypatia Security Scan #1247: Pull request #639 opened by hyperpolymath
58s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
58s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Hypatia Security Scan #1246: Commit 1eaff91 pushed by hyperpolymath
2m 5s main
main
2m 5s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Hypatia Security Scan #1245: Pull request #638 synchronize by hyperpolymath
1m 11s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 11s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Hypatia Security Scan #1244: Pull request #638 opened by hyperpolymath
1m 5s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 5s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Hypatia Security Scan #1243: Commit f005a74 pushed by hyperpolymath
53s main
main
53s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile Hypatia Security Scan #1242: Pull request #637 opened by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Hypatia Security Scan #1241: Commit 55ae8bb pushed by hyperpolymath
2m 46s main
main
2m 46s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 Hypatia Security Scan #1240: Pull request #636 opened by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Hypatia Security Scan #1239: Pull request #635 synchronize by hyperpolymath
1m 32s claude/fix-gate-dune-path
claude/fix-gate-dune-path
1m 32s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Hypatia Security Scan #1238: Commit 8859206 pushed by hyperpolymath
55s main
main
55s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Hypatia Security Scan #1237: Pull request #635 opened by hyperpolymath
1m 2s claude/fix-gate-dune-path
claude/fix-gate-dune-path
1m 2s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Hypatia Security Scan #1236: Commit 874e36c pushed by hyperpolymath
51s main
main
51s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly Hypatia Security Scan #1235: Pull request #634 opened by hyperpolymath
54s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
54s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Hypatia Security Scan #1234: Commit f020a6f pushed by hyperpolymath
50s main
main
50s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Hypatia Security Scan #1233: Pull request #633 synchronize by hyperpolymath
1m 3s claude/fence-stub-returns
claude/fence-stub-returns
1m 3s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Hypatia Security Scan #1232: Pull request #633 opened by hyperpolymath
1m 4s claude/fence-stub-returns
claude/fence-stub-returns
1m 4s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Hypatia Security Scan #1231: Commit 381ca17 pushed by hyperpolymath
1m 3s main
main
1m 3s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage Hypatia Security Scan #1230: Pull request #632 opened by hyperpolymath
1m 2s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 2s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Hypatia Security Scan #1229: Commit 65c2ae3 pushed by hyperpolymath
51s main
main
51s