Skip to content

Actions: hyperpolymath/gossamer

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
110 workflow runs
110 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
feat: formal proofs, FFI tests, benchmarks, and onboarding guide CodeQL Security Analysis #110: Pull request #12 opened by hyperpolymath
1m 21s claude/analyze-repo-improvements-KIJBr
claude/analyze-repo-improvements-KIJBr
1m 21s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #109: Commit ecb88f7 pushed by hyperpolymath
1m 22s main
main
1m 22s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #108: Pull request #11 opened by hyperpolymath
1m 19s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
1m 19s
feat: formal proofs, FFI tests, benchmarks, and onboarding guide (#10) CodeQL Security Analysis #107: Commit e89247e pushed by hyperpolymath
1m 15s main
main
1m 15s
feat: formal proofs, FFI tests, benchmarks, and onboarding guide CodeQL Security Analysis #106: Pull request #10 opened by hyperpolymath
1m 5s claude/analyze-repo-improvements-KIJBr
claude/analyze-repo-improvements-KIJBr
1m 5s
feat: formal proofs, FFI tests, benchmarks, and onboarding guide (#9) CodeQL Security Analysis #105: Commit 761886a pushed by hyperpolymath
1m 36s main
main
1m 36s
Add unit tests, benchmarks, and ABI stability proofs for Gossamer CodeQL Security Analysis #104: Pull request #9 opened by JoshuaJewell
1m 5s claude/analyze-repo-improvements-KIJBr
claude/analyze-repo-improvements-KIJBr
1m 5s
feat: formal proofs, FFI tests, benchmarks, and onboarding guide CodeQL Security Analysis #103: Commit 60e51ba pushed by JoshuaJewell
1m 19s main
main
1m 19s
feat: comprehensive improvements across Idris2 proofs, Zig FFI, and E… CodeQL Security Analysis #102: Commit 6ff6d6d pushed by JoshuaJewell
1m 24s main
main
1m 24s
CodeQL Security Analysis CodeQL Security Analysis #101: Scheduled
1m 19s main
main
1m 19s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #100: Commit b62b4ba pushed by hyperpolymath
5h 39m 28s main
main
5h 39m 28s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #99: Commit 238b14d pushed by hyperpolymath
4h 21m 40s main
main
4h 21m 40s
feat: add wokelangiser consent gates and compliance report CodeQL Security Analysis #98: Commit 6113ab5 pushed by hyperpolymath
4h 0m 41s main
main
4h 0m 41s
feat: wire conflow config validation pipeline CodeQL Security Analysis #97: Commit fd0870f pushed by hyperpolymath
3h 47m 22s main
main
3h 47m 22s
chore: add K9 Kennel-level metadata guard CodeQL Security Analysis #96: Commit 54406f0 pushed by hyperpolymath
3h 54m 15s main
main
3h 54m 15s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #95: Commit 28e675b pushed by hyperpolymath
3h 20m 48s main
main
3h 20m 48s
docs: add TOPOLOGY.md CodeQL Security Analysis #94: Commit 3e55d6c pushed by hyperpolymath
2h 4m 7s main
main
2h 4m 7s
feat: add tlaiser state machine specs for webview desktop shell CodeQL Security Analysis #93: Commit 11585d9 pushed by hyperpolymath
2h 5m 3s main
main
2h 5m 3s
ci: deploy dogfood-gate, add Groove manifest and CRG tests CodeQL Security Analysis #92: Commit 0bbfa15 pushed by hyperpolymath
2h 3m 45s main
main
2h 3m 45s
fix: reconcile Groove port tables — Idris2 ABI, Zig FFI, Ephapax all … CodeQL Security Analysis #91: Commit 170fe27 pushed by hyperpolymath
27m 25s main
main
27m 25s
docs: add TEST-NEEDS.md (CRG C) CodeQL Security Analysis #90: Commit 2eaca94 pushed by hyperpolymath
27m 35s main
main
27m 35s
ci: add dogfood-gate.yml — validates hyperpolymath tool usage CodeQL Security Analysis #89: Commit c553c8c pushed by hyperpolymath
1m 14s main
main
1m 14s
feat+test: binary IPC, 8 native Zig tests, maintenance backlog closed CodeQL Security Analysis #88: Commit 44720e4 pushed by hyperpolymath
1m 18s main
main
1m 18s
CRG blitz D→C: comprehensive test coverage for gossamer CodeQL Security Analysis #87: Commit 4106ec9 pushed by hyperpolymath
1m 21s main
main
1m 21s
docs: update all documentation to v0.3.1 (2026-04-03 session) CodeQL Security Analysis #86: Commit 650bb97 pushed by hyperpolymath
1m 7s main
main
1m 7s