Skip to content

Actions: WasmAgent/symkernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 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
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbo… CI #28: Commit 2a00ccd pushed by telleroutlook
1m 9s main
main
1m 9s
Fix #289: [milestone Milestone 12] deploy/Dockerfile.z3 — Extended multi-stage build with Z3 library compilatio... CI #27: Pull request #297 opened by telleroutlook
1m 14s claude/issue-289
claude/issue-289
1m 14s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #26: Pull request #294 synchronize by telleroutlook
1m 15s claude/issue-287
claude/issue-287
1m 15s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #25: Pull request #294 synchronize by telleroutlook
1m 26s claude/issue-287
claude/issue-287
1m 26s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #24: Pull request #294 synchronize by telleroutlook
1m 14s claude/issue-287
claude/issue-287
1m 14s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #23: Pull request #294 synchronize by telleroutlook
1m 14s claude/issue-287
claude/issue-287
1m 14s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #22: Pull request #294 synchronize by telleroutlook
1m 16s claude/issue-287
claude/issue-287
1m 16s
Fix #291: [milestone Milestone 12] internal/symbolic/taint — Taint analysis integration: track data flow from u... CI #21: Pull request #296 opened by telleroutlook
1m 11s claude/issue-291
claude/issue-291
1m 11s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #20: Pull request #294 synchronize by telleroutlook
1m 18s claude/issue-287
claude/issue-287
1m 18s
Fix #290: [milestone Milestone 12] bench/symbolic/ — Symbolic execu… CI #19: Commit 963d350 pushed by telleroutlook
1m 17s main
main
1m 17s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #18: Pull request #294 synchronize by telleroutlook
1m 27s claude/issue-287
claude/issue-287
1m 27s
Fix #290: [milestone Milestone 12] bench/symbolic/ — Symbolic execution benchmark suite: run against curated WA... CI #17: Pull request #295 opened by telleroutlook
1m 18s claude/issue-290
claude/issue-290
1m 18s
Fix #287: [milestone Milestone 12] POST /v1/verify/symbolic — Symbolic WASM execution endpoint: `{"module":"bas... CI #16: Pull request #294 opened by telleroutlook
1m 15s claude/issue-287
claude/issue-287
1m 15s
Fix #288: [milestone Milestone 12] internal/symbolic/cache — Decisi… CI #15: Commit 0facccc pushed by telleroutlook
1m 17s main
main
1m 17s
Fix #288: [milestone Milestone 12] internal/symbolic/cache — Decision cache for Z3 queries: LRU cache keyed by ... CI #14: Pull request #293 opened by telleroutlook
1m 11s claude/issue-288
claude/issue-288
1m 11s
feat(deploy): add Dockerfile.z3 multi-stage build with Z3 from source CI #13: Pull request #292 opened by telleroutlook
1m 20s fix/dockerfile-z3
fix/dockerfile-z3
1m 20s
docs: fix README architecture drift to match actual routes + packages… CI #12: Commit d4d4d34 pushed by telleroutlook
1m 13s main
main
1m 13s
docs: fix README architecture drift (routes + packages match code) CI #11: Pull request #286 opened by telleroutlook
1m 25s docs/fix-readme-architecture-drift
docs/fix-readme-architecture-drift
1m 25s
docs: reflect shipped OPA/Cedar policy import in README (#285) CI #10: Commit bfe2038 pushed by telleroutlook
1m 29s main
main
1m 29s
docs: reflect shipped OPA/Cedar policy import in README CI #9: Pull request #285 opened by telleroutlook
1m 20s docs/policyimport-readme
docs/policyimport-readme
1m 20s
feat(policyimport): OPA Rego + Cedar → CEL translation layer (closes … CI #8: Commit 1ce5b52 pushed by telleroutlook
2m 42s main
main
2m 42s
feat(policyimport): OPA Rego + Cedar → CEL translation layer (closes #282) CI #7: Pull request #284 opened by telleroutlook
2m 31s feat/opa-cedar-compat
feat/opa-cedar-compat
2m 31s
fix(otel): check fmt.Fprint return value in MetricsHandler (closes #2… CI #6: Commit 2011077 pushed by telleroutlook
2m 18s main
main
2m 18s
fix(otel): check fmt.Fprint return value in MetricsHandler (closes #271) CI #5: Pull request #283 synchronize by telleroutlook
2m 41s fix/ci-errcheck-metrics
fix/ci-errcheck-metrics
2m 41s
fix(otel): check fmt.Fprint return value in MetricsHandler (closes #271) CI #4: Pull request #283 opened by telleroutlook
2m 35s fix/ci-errcheck-metrics
fix/ci-errcheck-metrics
2m 35s