Skip to content

Actions: hyperpolymath/affinescript

Actions

Semgrep SAST

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
1,189 workflow runs
1,189 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
docs: author the proof-needs inventory (P-/F-/K- obligation series) (… Semgrep SAST #1189: Commit eae71fd pushed by hyperpolymath
57s main
main
57s
docs: author the proof-needs inventory (P-/F-/K- obligation series) Semgrep SAST #1188: Pull request #609 synchronize by hyperpolymath
48s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
48s
ci: actions/checkout v7.0.0 with consistent SHA-pin comments (superse… Semgrep SAST #1187: Commit 57040fc pushed by hyperpolymath
24s main
main
24s
ci: actions/checkout v7.0.0 with consistent SHA-pin comments (supersedes #605) Semgrep SAST #1186: Pull request #610 opened by hyperpolymath
53s claude/checkout-v7-pins
claude/checkout-v7-pins
53s
docs: author the proof-needs inventory (P-/F-/K- obligation series) Semgrep SAST #1185: Pull request #609 opened by hyperpolymath
47s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
47s
ci: bump actions/checkout from 6.0.3 to 7.0.0 Semgrep SAST #1184: Pull request #605 synchronize by hyperpolymath
54s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
54s
chore: refresh stale CI notes + sync drifted Deno fixtures (#608) Semgrep SAST #1183: Commit 48ef42f pushed by hyperpolymath
47s main
main
47s
chore: refresh stale CI notes + sync drifted Deno fixtures Semgrep SAST #1182: Pull request #608 opened by hyperpolymath
49s claude/housekeeping-ci-notes
claude/housekeeping-ci-notes
49s
fix(codegen-deno): don't re-declare preamble Option/Result constructo… Semgrep SAST #1181: Commit 2efe0e3 pushed by hyperpolymath
50s main
main
50s
fix(codegen-deno): don't re-declare preamble Option/Result constructors Semgrep SAST #1180: Pull request #606 opened by hyperpolymath
55s claude/fix-deno-dup-constructors
claude/fix-deno-dup-constructors
55s
ci: bump actions/checkout from 6.0.3 to 7.0.0 Semgrep SAST #1179: Pull request #605 opened by dependabot Bot
52s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
52s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scann… Semgrep SAST #1178: Commit c7922cf pushed by hyperpolymath
55s main
main
55s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scanner Semgrep SAST #1177: Pull request #604 synchronize by hyperpolymath
46s claude/standalone-ci-fixup
claude/standalone-ci-fixup
46s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scanner Semgrep SAST #1176: Pull request #604 opened by hyperpolymath
48s claude/standalone-ci-fixup
claude/standalone-ci-fixup
48s
ci: make CI standalone (drop estate reusable workflows + third-party … Semgrep SAST #1175: Commit 873ad6d pushed by hyperpolymath
50s main
main
50s
ci: make CI standalone (drop estate reusable workflows + third-party setup action) Semgrep SAST #1174: Pull request #603 opened by hyperpolymath
48s claude/standalone-ci
claude/standalone-ci
48s
fix(codegen): #138 — link imported enum constructors into codegen (#602) Semgrep SAST #1173: Commit ac98c81 pushed by hyperpolymath
48s main
main
48s
fix(codegen): #138 — link imported enum constructors into codegen Semgrep SAST #1172: Pull request #602 opened by hyperpolymath
55s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
55s
docs(faces): record established faces and same-cube grounding Semgrep SAST #1171: Commit 9851215 pushed by hyperpolymath
57s main
main
57s
docs(faces): mark Cafe/Lucid established + record same-cube grounding Semgrep SAST #1170: Pull request #600 synchronize by hyperpolymath
50s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
50s
docs(faces): mark Cafe/Lucid established + record same-cube grounding Semgrep SAST #1169: Pull request #600 opened by hyperpolymath
59s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
59s
Semgrep SAST Semgrep SAST #1168: Scheduled
56s main
main
56s
fix(parser): #558 — honest-reject removed assume(...); fix misnamed f… Semgrep SAST #1167: Commit 58dc2a0 pushed by hyperpolymath
55s main
main
55s
fix(parser): #558 — honest-reject removed assume(...); fix misnamed fixture Semgrep SAST #1166: Pull request #598 synchronize by hyperpolymath
56s fix/558-refinement-honest-reject
fix/558-refinement-honest-reject
56s
fix(interp): #555 interpreter residual — multi-shot resume loud-fail … Semgrep SAST #1165: Commit 7f5c8d7 pushed by hyperpolymath
53s main
main
53s