Skip to content

Actions: hyperpolymath/affinescript

Actions

Secret Scanner

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
1,421 workflow runs
1,421 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
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Secret Scanner #1296: Pull request #640 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Secret Scanner #1295: Pull request #639 synchronize by hyperpolymath
11s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
11s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Secret Scanner #1294: Pull request #639 opened by hyperpolymath
9s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
9s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Secret Scanner #1293: Commit 1eaff91 pushed by hyperpolymath
30s main
main
30s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Secret Scanner #1292: Pull request #638 synchronize by hyperpolymath
1m 8s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 8s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Secret Scanner #1291: Pull request #638 opened by hyperpolymath
37s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
37s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Secret Scanner #1290: Commit f005a74 pushed by hyperpolymath
11s main
main
11s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile Secret Scanner #1289: Pull request #637 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Secret Scanner #1288: Commit 55ae8bb pushed by hyperpolymath
11s main
main
11s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 Secret Scanner #1287: Pull request #636 opened by hyperpolymath
22s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
22s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Secret Scanner #1286: Pull request #635 synchronize by hyperpolymath
29s claude/fix-gate-dune-path
claude/fix-gate-dune-path
29s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Secret Scanner #1285: Commit 8859206 pushed by hyperpolymath
12s main
main
12s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Secret Scanner #1284: Pull request #635 opened by hyperpolymath
12s claude/fix-gate-dune-path
claude/fix-gate-dune-path
12s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Secret Scanner #1283: Commit 874e36c pushed by hyperpolymath
11s main
main
11s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly Secret Scanner #1282: Pull request #634 opened by hyperpolymath
15s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
15s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Secret Scanner #1281: Commit f020a6f pushed by hyperpolymath
10s main
main
10s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Secret Scanner #1280: Pull request #633 synchronize by hyperpolymath
11s claude/fence-stub-returns
claude/fence-stub-returns
11s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Secret Scanner #1279: Pull request #633 opened by hyperpolymath
8s claude/fence-stub-returns
claude/fence-stub-returns
8s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Secret Scanner #1278: Commit 381ca17 pushed by hyperpolymath
10s main
main
10s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage Secret Scanner #1277: Pull request #632 opened by hyperpolymath
21s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
21s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Secret Scanner #1276: Commit 65c2ae3 pushed by hyperpolymath
8s main
main
8s
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness Secret Scanner #1275: Pull request #631 opened by hyperpolymath
10s claude/soundness-gate-hardening
claude/soundness-gate-hardening
10s
chore(guix): substitute leftover template placeholders; fix licence c… Secret Scanner #1274: Commit 13c02ba pushed by hyperpolymath
9s main
main
9s
chore(guix): substitute leftover template placeholders; fix licence comment Secret Scanner #1273: Pull request #630 synchronize by hyperpolymath
8s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
8s
chore(guix): substitute leftover template placeholders; fix licence comment Secret Scanner #1272: Pull request #630 opened by hyperpolymath
8s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
8s