Skip to content

Actions: hyperpolymath/vql-ut

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
62 workflow runs
62 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
CodeQL Security Analysis CodeQL Security Analysis #62: Scheduled
42s main
main
42s
proof(composition): close Composition Preservation theorem in Idris2 CodeQL Security Analysis #61: Commit c0fc886 pushed by hyperpolymath
38s main
main
38s
ci(e2e): full E2E wiring — workflow, test scripts, Justfile recipes CodeQL Security Analysis #60: Commit 92b84ad pushed by hyperpolymath
54s main
main
54s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #59: Commit fa99ef6 pushed by hyperpolymath
1h 48m 16s main
main
1h 48m 16s
Add comprehensive test coverage, fuzz testing, and cargo-audit CI (#9) CodeQL Security Analysis #58: Commit 7493691 pushed by hyperpolymath
34s main
main
34s
Implement DAP library, LSP tests, fuzz tests, and security audit workflow CodeQL Security Analysis #57: Pull request #9 synchronize by hyperpolymath
52s claude/analyze-repo-improvements-3MxNw
claude/analyze-repo-improvements-3MxNw
52s
Fix LSP test to accommodate expanded keyword completions CodeQL Security Analysis #56: Commit 48483a1 pushed by JoshuaJewell
34s main
main
34s
Add comprehensive test coverage, fuzz testing, and cargo-audit CI CodeQL Security Analysis #55: Commit cd504b3 pushed by JoshuaJewell
1m 26s main
main
1m 26s
fix: resolve merge conflict in Checker.idr extractFieldRefs CodeQL Security Analysis #54: Commit 332efe4 pushed by JoshuaJewell
38s main
main
38s
Merge pull request #8 from hyperpolymath/claude/review-codebase-impro… CodeQL Security Analysis #53: Commit 6707704 pushed by JoshuaJewell
1m 16s main
main
1m 16s
fix+feat: codebase review improvements — 9 bug fixes, expanded linter, LSP/DAP fixes CodeQL Security Analysis #52: Pull request #8 opened by JoshuaJewell
1m 48s claude/review-codebase-improvements-0VLxj
claude/review-codebase-improvements-0VLxj
1m 48s
Merge branch 'claude/review-merge-main-Q8iUr' into main CodeQL Security Analysis #51: Commit ca2521c pushed by JoshuaJewell
32s main
main
32s
CodeQL Security Analysis CodeQL Security Analysis #50: Scheduled
38s main
main
38s
refactor(rename): sweep remaining VqlUt identifiers + restore narrati… CodeQL Security Analysis #49: Commit 28b1768 pushed by hyperpolymath
36s main
main
36s
refactor(rename): full VQL-UT → VCL-total migration CodeQL Security Analysis #48: Commit 065d74c pushed by hyperpolymath
36s main
main
36s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #47: Commit a3fa95f pushed by hyperpolymath
30s main
main
30s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #46: Pull request #7 opened by hyperpolymath
6h 28m 26s crg-badge-recipes2
crg-badge-recipes2
6h 28m 26s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #45: Commit 1588157 pushed by hyperpolymath
5h 14m 21s main
main
5h 14m 21s
ci: deploy dogfood-gate and CRG test improvements (#6) CodeQL Security Analysis #44: Commit 9b6b486 pushed by hyperpolymath
4h 1m 33s main
main
4h 1m 33s
ci: deploy dogfood-gate and CRG test improvements CodeQL Security Analysis #43: Pull request #6 synchronize by hyperpolymath
2h 49m 57s dogfooding-ci-20260404
dogfooding-ci-20260404
2h 49m 57s
ci: deploy dogfood-gate and CRG test improvements CodeQL Security Analysis #42: Pull request #6 opened by hyperpolymath
2h 27m 2s dogfooding-ci-20260404
dogfooding-ci-20260404
2h 27m 2s
Consolidate/main 20260403 CodeQL Security Analysis #41: Pull request #5 opened by hyperpolymath
2m 58s consolidate/main-20260403
consolidate/main-20260403
2m 58s
Snapshot local work before sync CodeQL Security Analysis #40: Pull request #4 opened by hyperpolymath
34s snapshot-20260402-vql-ut
snapshot-20260402-vql-ut
34s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #39: Pull request #2 synchronize by hyperpolymath
3m 22s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
3m 22s
test: add quickcheck fuzz harness CodeQL Security Analysis #38: Pull request #3 opened by hyperpolymath
30s fix/scorecard-fuzz
fix/scorecard-fuzz
30s