Skip to content

Actions: hyperpolymath/vcl-ut

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
100 workflow runs
100 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(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #100: Pull request #14 synchronize by hyperpolymath
3h 7m 12s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
3h 7m 12s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #99: Pull request #14 opened by hyperpolymath
1h 11m 16s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
1h 11m 16s
fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213) CodeQL Security Analysis #98: Pull request #13 opened by hyperpolymath
13h 8m 44s fix/hypatia-213-scanner-flag
fix/hypatia-213-scanner-flag
13h 8m 44s
ci: bump actions/upload-artifact SHA to current v4 (#12) CodeQL Security Analysis #97: Commit f939f35 pushed by hyperpolymath
5h 19m 3s main
main
5h 19m 3s
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate CodeQL Security Analysis #96: Commit 0e6cb4e pushed by hyperpolymath
4h 12m 58s main
main
4h 12m 58s
ci: bump actions/upload-artifact SHA to current v4 CodeQL Security Analysis #95: Pull request #12 opened by hyperpolymath
40m 7s ci/bump-upload-artifact-v4-sha
ci/bump-upload-artifact-v4-sha
40m 7s
CodeQL Security Analysis CodeQL Security Analysis #94: Scheduled
1m 21s main
main
1m 21s
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