Skip to content

Actions: sparkgeo/github-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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: verification — path map schema, verdict guide, PR template, and evidence retention 🔀 Gemini Dispatch #174: Issue #132 opened by ms280690
37s
37s
feat: verification — Lean 4 machine-checked proofs with lake build --wfail (PR/CI) 🔀 Gemini Dispatch #173: Issue #131 opened by ms280690
32s
32s
feat: verification — TLA+ and Alloy model checking of protocols and authorization models (PR/CI) 🔀 Gemini Dispatch #172: Issue #130 opened by ms280690
41s
41s
feat: verification — Gobra deductive verification of pure Go packages (PR/CI) 🔀 Gemini Dispatch #171: Issue #129 opened by ms280690
38s
38s
feat: verification — Dafny shared algorithmic core verified and compiled to Python, Go, and JavaScript 🔀 Gemini Dispatch #170: Issue #128 opened by ms280690
34s
34s
feat: verification — TypeScript fast-check properties, strict types, and model-based tests (PR/CI) 🔀 Gemini Dispatch #169: Issue #127 opened by ms280690
38s
38s
feat: verification — Go fuzz, rapid properties, and static invariants (PR/CI) 🔀 Gemini Dispatch #168: Issue #126 opened by ms280690
37s
37s
feat: verification — Python contracts, CrossHair, Hypothesis, and mypy strict (PR/CI) 🔀 Gemini Dispatch #167: Issue #125 opened by ms280690
35s
35s
feat: program verification reusable workflows — contracts, proofs, model checking [parent] 🔀 Gemini Dispatch #166: Issue #124 opened by ms280690
45s
45s
feat: privacy — anonymised fixtures with postgresql_anonymizer and presidio verification 🔀 Gemini Dispatch #165: Issue #123 opened by ms280690
37s
37s
feat: privacy — DSAR export and erasure script test harness (scheduled) 🔀 Gemini Dispatch #164: Issue #122 opened by ms280690
39s
39s
feat: privacy — privacy review gate for changes touching personal data (PR/CI) 🔀 Gemini Dispatch #163: Issue #121 opened by ms280690
1m 11s
1m 11s
feat: privacy — retention and residency enforcement in IaC with checkov (PR/CI) 🔀 Gemini Dispatch #162: Issue #120 opened by ms280690
41s
41s
feat: privacy — RoPA as code with completeness checks (PR/CI) 🔀 Gemini Dispatch #161: Issue #119 opened by ms280690
2m 24s
2m 24s
feat: privacy and data lifecycle checks [parent] 🔀 Gemini Dispatch #160: Issue #118 opened by ms280690
1m 6s
1m 6s
feat: inventory — live account drift and untagged-resource report with Steampipe (scheduled) 🔀 Gemini Dispatch #159: Issue #117 opened by ms280690
42s
42s
feat: inventory — org-wide asset register roll-up (scheduled) 🔀 Gemini Dispatch #158: Issue #116 opened by ms280690
38s
38s
feat: inventory — asset inventory and tag-grouped diagram from plan/synth output (PR/CI) 🔀 Gemini Dispatch #157: Issue #115 opened by ms280690
39s
39s
feat: inventory — tagging standard and PR-time enforcement across IaC stacks 🔀 Gemini Dispatch #156: Issue #114 opened by ms280690
38s
38s
feat: asset inventory and tag enforcement from IaC [parent] 🔀 Gemini Dispatch #155: Issue #113 opened by ms280690
31s
31s
docs: threat intel — feed reference, expiry policy, and MISP graduation criteria 🔀 Gemini Dispatch #154: Issue #112 opened by ms280690
37s
37s
feat: threat intel — dependency reputation check via deps.dev and Scorecard (PR/CI) 🔀 Gemini Dispatch #153: Issue #111 opened by ms280690
47s
47s
feat: threat intel — IOC check on IaC, container, and dependency sources (PR/CI) 🔀 Gemini Dispatch #152: Issue #110 opened by ms280690
1m 10s
1m 10s
feat: threat intel — daily feed mirror and threat-feeds composite 🔀 Gemini Dispatch #151: Issue #109 opened by ms280690
1m 11s
1m 11s
feat: threat intelligence feeds for CI gates [parent] 🔀 Gemini Dispatch #150: Issue #108 opened by ms280690
30s
30s