Skip to content

Actions: hyperpolymath/vcl-ut

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
246 workflow runs
246 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
Update issue templates CodeQL Security Analysis #71: Commit 187caa3 pushed by hyperpolymath
41s main
main
41s
chore: fill empty .tool-versions from drift inventory (2026-04-17) CodeQL Security Analysis #70: Commit 66f985c pushed by hyperpolymath
15m 58s main
main
15m 58s
ci: restore Dependabot security path + wire auto-merge CodeQL Security Analysis #69: Commit a295e89 pushed by hyperpolymath
1h 47m 34s main
main
1h 47m 34s
chore: sync local state CodeQL Security Analysis #68: Commit a3657c5 pushed by hyperpolymath
30m 30s main
main
30m 30s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #67: Commit 86a0fe0 pushed by hyperpolymath
11m 18s main
main
11m 18s
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #66: Commit 8cabf18 pushed by hyperpolymath
1h 2m 54s main
main
1h 2m 54s
Merge branch 'main' of github.com:hyperpolymath/vql-ut CodeQL Security Analysis #65: Commit 5d81eac pushed by hyperpolymath
15m 28s main
main
15m 28s
chore(deps): bump rand in the cargo group across 1 directory (#10) CodeQL Security Analysis #64: Commit b7cff23 pushed by hyperpolymath
5m 19s main
main
5m 19s
chore(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across 1 directory CodeQL Security Analysis #63: Pull request #10 opened by dependabot Bot
45s dependabot/cargo/cargo-2cb957d483
dependabot/cargo/cargo-2cb957d483
45s
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