Skip to content

Actions: hyperpolymath/squeakwell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
207 workflow runs
207 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(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #32: Pull request #3 opened by hyperpolymath
49s rhodibot/rsr-compliance-20260413
rhodibot/rsr-compliance-20260413
49s
fix(rhodibot): automated RSR compliance fixes (#2) CodeQL Security Analysis #31: Commit f29679a pushed by hyperpolymath
1m 52s main
main
1m 52s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #30: Pull request #2 opened by hyperpolymath
3m 33s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
3m 33s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just CodeQL Security Analysis #29: Commit d9a69e3 pushed by hyperpolymath
22m 12s main
main
22m 12s
CodeQL Security Analysis CodeQL Security Analysis #28: Scheduled
31s main
main
31s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #27: Commit 25528df pushed by hyperpolymath
1h 51m 22s main
main
1h 51m 22s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #26: Commit 93882e1 pushed by hyperpolymath
1h 23m 28s main
main
1h 23m 28s
CodeQL Security Analysis CodeQL Security Analysis #25: Scheduled
35s main
main
35s
refactor(rename): VQL → VCL + verisimdb → verisim CodeQL Security Analysis #24: Commit 1ca927d pushed by hyperpolymath
1m 53s main
main
1m 53s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #23: Commit e1e17bc pushed by hyperpolymath
6h 19m 54s main
main
6h 19m 54s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #22: Commit c8dda32 pushed by hyperpolymath
4h 46m 16s main
main
4h 46m 16s
feat: add VeriSimDB persistence for recovery sessions and phase events CodeQL Security Analysis #21: Commit 0da15ac pushed by hyperpolymath
4h 0m 59s main
main
4h 0m 59s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #20: Commit 865749f pushed by hyperpolymath
3h 22m 23s main
main
3h 22m 23s
docs: add TOPOLOGY.md CodeQL Security Analysis #19: Commit e9f42d9 pushed by hyperpolymath
2h 27m 41s main
main
2h 27m 41s
feat: add k9iser.toml and generate K9 contracts CodeQL Security Analysis #18: Commit 3693c83 pushed by hyperpolymath
2h 11m 25s main
main
2h 11m 25s
ci: deploy dogfood-gate, update CI config, add CRG tests CodeQL Security Analysis #17: Commit 4ee7b86 pushed by hyperpolymath
1h 42m 59s main
main
1h 42m 59s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #16: Commit da1d2c7 pushed by hyperpolymath
44m 12s main
main
44m 12s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #15: Pull request #1 opened by hyperpolymath
32s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
32s
Add casket pages workflow CodeQL Security Analysis #14: Commit 1736fec pushed by hyperpolymath
57m 28s main
main
57m 28s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #13: Commit 824051d pushed by hyperpolymath
16m 16s main
main
16m 16s
CodeQL Security Analysis CodeQL Security Analysis #12: Scheduled
38s main
main
38s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #11: Commit 3f9eb2f pushed by hyperpolymath
2h 1m 32s main
main
2h 1m 32s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #10: Commit c687443 pushed by hyperpolymath
1h 7m 53s main
main
1h 7m 53s
chore: add agent_instructions methodology layer CodeQL Security Analysis #9: Commit fcb2df8 pushed by hyperpolymath
1h 30m 22s main
main
1h 30m 22s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #8: Commit 6f8b3f4 pushed by hyperpolymath
1h 30m 23s main
main
1h 30m 23s