Skip to content

Actions: hyperpolymath/affinescript

Actions

Semgrep SAST

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
1,375 workflow runs
1,375 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… Semgrep SAST #1250: Commit b8ba479 pushed by hyperpolymath
55s main
main
55s
fix(release): restore release binaries — immutable-release draft flow + portable BSD sed Semgrep SAST #1249: Pull request #641 opened by hyperpolymath
52s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
52s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… Semgrep SAST #1248: Commit 5a42e6e pushed by hyperpolymath
52s main
main
52s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Semgrep SAST #1247: Pull request #640 synchronize by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… Semgrep SAST #1246: Commit 41dfce9 pushed by hyperpolymath
50s main
main
50s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Semgrep SAST #1245: Pull request #640 opened by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Semgrep SAST #1244: Pull request #639 synchronize by hyperpolymath
50s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
50s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Semgrep SAST #1243: Pull request #639 opened by hyperpolymath
1m 19s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
1m 19s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Semgrep SAST #1242: Commit 1eaff91 pushed by hyperpolymath
1m 36s main
main
1m 36s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Semgrep SAST #1241: Pull request #638 synchronize by hyperpolymath
54s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
54s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Semgrep SAST #1240: Pull request #638 opened by hyperpolymath
56s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
56s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Semgrep SAST #1239: Commit f005a74 pushed by hyperpolymath
52s main
main
52s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile Semgrep SAST #1238: Pull request #637 opened by hyperpolymath
48s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
48s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Semgrep SAST #1237: Commit 55ae8bb pushed by hyperpolymath
3m 33s main
main
3m 33s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 Semgrep SAST #1236: Pull request #636 opened by hyperpolymath
49s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
49s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Semgrep SAST #1235: Pull request #635 synchronize by hyperpolymath
1m 4s claude/fix-gate-dune-path
claude/fix-gate-dune-path
1m 4s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Semgrep SAST #1234: Commit 8859206 pushed by hyperpolymath
49s main
main
49s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Semgrep SAST #1233: Pull request #635 opened by hyperpolymath
51s claude/fix-gate-dune-path
claude/fix-gate-dune-path
51s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Semgrep SAST #1232: Commit 874e36c pushed by hyperpolymath
55s main
main
55s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly Semgrep SAST #1231: Pull request #634 opened by hyperpolymath
49s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
49s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Semgrep SAST #1230: Commit f020a6f pushed by hyperpolymath
50s main
main
50s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Semgrep SAST #1229: Pull request #633 synchronize by hyperpolymath
54s claude/fence-stub-returns
claude/fence-stub-returns
54s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Semgrep SAST #1228: Pull request #633 opened by hyperpolymath
1m 9s claude/fence-stub-returns
claude/fence-stub-returns
1m 9s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Semgrep SAST #1227: Commit 381ca17 pushed by hyperpolymath
51s main
main
51s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage Semgrep SAST #1226: Pull request #632 opened by hyperpolymath
55s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
55s