Skip to content

Actions: hyperpolymath/typedqliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
31 workflow runs
31 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
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #31: Commit 0434770 pushed by hyperpolymath
1h 52m 56s main
main
1h 52m 56s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #30: Commit 0aafee7 pushed by hyperpolymath
1h 30m 45s main
main
1h 30m 45s
CodeQL Security Analysis CodeQL Security Analysis #29: Scheduled
47s main
main
47s
refactor(rename): VQL → VCL + verisimdb → verisim CodeQL Security Analysis #28: Commit 37d9c88 pushed by hyperpolymath
2m 15s main
main
2m 15s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #27: Commit b58af11 pushed by hyperpolymath
6h 25m 6s main
main
6h 25m 6s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #26: Commit 4ed9302 pushed by hyperpolymath
4h 52m 1s main
main
4h 52m 1s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #25: Commit 4f0694b pushed by hyperpolymath
3h 29m 55s main
main
3h 29m 55s
docs: add TOPOLOGY.md CodeQL Security Analysis #24: Commit eaf35f4 pushed by hyperpolymath
2h 17m 34s main
main
2h 17m 34s
chore: add k9iser.toml (Batch 2B) CodeQL Security Analysis #23: Commit 3fd1ce4 pushed by hyperpolymath
2h 28m 3s main
main
2h 28m 3s
ci: deploy dogfood-gate, update CI config, add CRG tests CodeQL Security Analysis #22: Commit f802c36 pushed by hyperpolymath
1h 43m 17s main
main
1h 43m 17s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #21: Commit c760334 pushed by hyperpolymath
45m 38s main
main
45m 38s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #20: Pull request #1 opened by hyperpolymath
36s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
36s
Add casket pages workflow CodeQL Security Analysis #19: Commit 135cff5 pushed by hyperpolymath
59m 0s main
main
59m 0s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #18: Commit 28407a2 pushed by hyperpolymath
19m 22s main
main
19m 22s
CodeQL Security Analysis CodeQL Security Analysis #17: Scheduled
43s main
main
43s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #16: Commit 5ce9660 pushed by hyperpolymath
2h 3m 8s main
main
2h 3m 8s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #15: Commit 4f5fcb7 pushed by hyperpolymath
1h 13m 44s main
main
1h 13m 44s
chore: add agent_instructions methodology layer CodeQL Security Analysis #14: Commit 3bccfa2 pushed by hyperpolymath
1h 39m 1s main
main
1h 39m 1s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #13: Commit 4d4fea1 pushed by hyperpolymath
1h 33m 35s main
main
1h 33m 35s
chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #12: Commit 43bf7ce pushed by hyperpolymath
30m 27s main
main
30m 27s
CodeQL Security Analysis CodeQL Security Analysis #11: Scheduled
1m 1s main
main
1m 1s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #10: Commit 85c189a pushed by hyperpolymath
32m 28s main
main
32m 28s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #9: Commit 168e480 pushed by hyperpolymath
11m 39s main
main
11m 39s
fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #8: Commit e3a6f77 pushed by hyperpolymath
6m 42s main
main
6m 42s
test: comprehensive L3 test suite — point-to-point, end-to-end, aspects CodeQL Security Analysis #7: Commit fa9c580 pushed by hyperpolymath
40s main
main
40s