Skip to content

Actions: hyperpolymath/vcl-ut

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
93 workflow runs
93 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 #93: Scheduled
48s main
main
48s
fix(rust): revert anti-pattern .expect("TODO") to .unwrap() in tests … CodeQL Security Analysis #92: Commit cd24086 pushed by hyperpolymath
37s main
main
37s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) CodeQL Security Analysis #91: Commit dad710d pushed by hyperpolymath
50m 7s main
main
50m 7s
CodeQL Security Analysis CodeQL Security Analysis #90: Scheduled
39s main
main
39s
feat(abi): scaffold Idris2 ABI + Zig FFI for cross-language consumers CodeQL Security Analysis #89: Commit ac81fa4 pushed by hyperpolymath
36s main
main
36s
feat(ci): adopt openssf-compliance workflow from RSR template (#8) CodeQL Security Analysis #88: Commit 75ed96f pushed by hyperpolymath
58s main
main
58s
fix(state): replace template-stub metadata with vcl-ut identity (#9) CodeQL Security Analysis #87: Commit 5ffcb8e pushed by hyperpolymath
38s main
main
38s
docs(bot-directives): add echidnabot mode directive (Phase 7) CodeQL Security Analysis #86: Commit e89ca9e pushed by hyperpolymath
1m 10s main
main
1m 10s
docs(crg): populate external-targets / issues-fed-back / field-signal CodeQL Security Analysis #85: Commit cb65e03 pushed by hyperpolymath
40s main
main
40s
feat(contractiles): complete 6-verb structure with runners + base + i… CodeQL Security Analysis #84: Commit b68fb08 pushed by hyperpolymath
52s main
main
52s
docs(anchor): VCL-total → VCL-ut after project rename CodeQL Security Analysis #83: Commit e8147bb pushed by hyperpolymath
41s main
main
41s
test(lsp): sync keyword-completion count with current 13-keyword surface CodeQL Security Analysis #82: Commit 76ef05a pushed by hyperpolymath
58s main
main
58s
feat(ci): add backend-matrix.yml — per-prover smoke matrix (Package 4… CodeQL Security Analysis #81: Commit 8d26b84 pushed by hyperpolymath
2m 45s main
main
2m 45s
feat(echidna-client): add OpenTheory/Dedukti exchange endpoints + rou… CodeQL Security Analysis #80: Commit 64b8ff6 pushed by hyperpolymath
55s main
main
55s
fix(security): panic-attack P10 — bounded file reads, safe array access CodeQL Security Analysis #79: Commit 9ae1844 pushed by hyperpolymath
3m 45s main
main
3m 45s
Update project name from VCL-total to VCL-ut CodeQL Security Analysis #78: Commit b2c71eb pushed by hyperpolymath
40s main
main
40s
Fix typo in project name in README CodeQL Security Analysis #77: Commit 369ac34 pushed by hyperpolymath
38s main
main
38s
Fix typo in project name in README CodeQL Security Analysis #76: Commit 5bd8f81 pushed by hyperpolymath
39s main
main
39s
CodeQL Security Analysis CodeQL Security Analysis #75: Scheduled
36s main
main
36s
Standardize workspace: Track Bust contractile artifacts CodeQL Security Analysis #74: Commit 7879da5 pushed by hyperpolymath
5h 6m 12s main
main
5h 6m 12s
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL Security Analysis #73: Commit f90b596 pushed by hyperpolymath
4h 45m 32s main
main
4h 45m 32s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #72: Commit 567c980 pushed by hyperpolymath
4h 31m 45s main
main
4h 31m 45s
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