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(ci): repair doc-truthing guard after #614's .md→.adoc migration (… Hypatia Security Scan #1203: Commit 33a4bfb pushed by hyperpolymath
59s main
main
59s
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration Hypatia Security Scan #1202: Pull request #617 opened by hyperpolymath
1m 4s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
1m 4s
Feat/solo core metatheory proofs (#614) Hypatia Security Scan #1201: Commit 39299c3 pushed by hyperpolymath
22m 30s main
main
22m 30s
Feat/solo core metatheory proofs Hypatia Security Scan #1200: Pull request #614 synchronize by hyperpolymath
21m 58s feat/solo-core-metatheory-proofs
feat/solo-core-metatheory-proofs
21m 58s
Feat/solo core metatheory proofs Hypatia Security Scan #1199: Pull request #614 synchronize by hyperpolymath
9s feat/solo-core-metatheory-proofs
feat/solo-core-metatheory-proofs
9s
fix(codegen): uniform heap representation for variants — fixes mixed-… Hypatia Security Scan #1198: Commit 2aa00ff pushed by hyperpolymath
3m 29s main
main
3m 29s
fix(codegen): uniform heap variant representation (fixes mixed-rep match) Hypatia Security Scan #1197: Pull request #613 opened by hyperpolymath
2m 20s claude/variant-rep-fix
claude/variant-rep-fix
2m 20s
fix(codegen): support nested patterns inside tuple patterns (WASM) Hypatia Security Scan #1196: Commit 0f8e6c5 pushed by hyperpolymath
9m 44s main
main
9m 44s
fix(codegen): support nested patterns inside tuple patterns (WASM) Hypatia Security Scan #1195: Pull request #612 opened by hyperpolymath
11m 47s claude/wasm-tuple-patterns
claude/wasm-tuple-patterns
11m 47s
fix(js-codegen): don't re-declare preamble Option/Result constructors Hypatia Security Scan #1194: Commit a3e0661 pushed by hyperpolymath
7m 31s main
main
7m 31s
fix(js-codegen): don't re-declare preamble Option/Result constructors Hypatia Security Scan #1193: Pull request #611 opened by hyperpolymath
1m 46s claude/jsc-ctor-dedup
claude/jsc-ctor-dedup
1m 46s
docs: author the proof-needs inventory (P-/F-/K- obligation series) (… Hypatia Security Scan #1192: Commit eae71fd pushed by hyperpolymath
1m 16s main
main
1m 16s
docs: author the proof-needs inventory (P-/F-/K- obligation series) Hypatia Security Scan #1191: Pull request #609 synchronize by hyperpolymath
1m 0s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 0s
ci: actions/checkout v7.0.0 with consistent SHA-pin comments (superse… Hypatia Security Scan #1190: Commit 57040fc pushed by hyperpolymath
37s main
main
37s
ci: actions/checkout v7.0.0 with consistent SHA-pin comments (supersedes #605) Hypatia Security Scan #1189: Pull request #610 opened by hyperpolymath
1m 4s claude/checkout-v7-pins
claude/checkout-v7-pins
1m 4s
docs: author the proof-needs inventory (P-/F-/K- obligation series) Hypatia Security Scan #1188: Pull request #609 opened by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
ci: bump actions/checkout from 6.0.3 to 7.0.0 Hypatia Security Scan #1187: Pull request #605 synchronize by hyperpolymath
50s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
50s
chore: refresh stale CI notes + sync drifted Deno fixtures (#608) Hypatia Security Scan #1186: Commit 48ef42f pushed by hyperpolymath
52s main
main
52s
chore: refresh stale CI notes + sync drifted Deno fixtures Hypatia Security Scan #1185: Pull request #608 opened by hyperpolymath
1m 2s claude/housekeeping-ci-notes
claude/housekeeping-ci-notes
1m 2s
fix(codegen-deno): don't re-declare preamble Option/Result constructo… Hypatia Security Scan #1184: Commit 2efe0e3 pushed by hyperpolymath
53s main
main
53s
fix(codegen-deno): don't re-declare preamble Option/Result constructors Hypatia Security Scan #1183: Pull request #606 opened by hyperpolymath
52s claude/fix-deno-dup-constructors
claude/fix-deno-dup-constructors
52s
ci: bump actions/checkout from 6.0.3 to 7.0.0 Hypatia Security Scan #1182: Pull request #605 opened by dependabot Bot
1m 11s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
1m 11s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scann… Hypatia Security Scan #1181: Commit c7922cf pushed by hyperpolymath
1m 5s main
main
1m 5s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scanner Hypatia Security Scan #1180: Pull request #604 synchronize by hyperpolymath
56s claude/standalone-ci-fixup
claude/standalone-ci-fixup
56s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scanner Hypatia Security Scan #1179: Pull request #604 opened by hyperpolymath
52s claude/standalone-ci-fixup
claude/standalone-ci-fixup
52s