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
chore(clade): backfill [status] lifecycle block (#67) CodeQL Security Analysis #221: Commit 518d086 pushed by hyperpolymath
32m 24s main
main
32m 24s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #220: Pull request #67 opened by hyperpolymath
14h 53m 33s chore/clade-status-backfill
chore/clade-status-backfill
14h 53m 33s
chore(ci): bump standards reusable workflow pins (#66) CodeQL Security Analysis #219: Commit 0681c6a pushed by hyperpolymath
2h 2m 24s main
main
2h 2m 24s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #218: Pull request #66 opened by hyperpolymath
7h 31m 28s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
7h 31m 28s
chore(nix->guix): remove flake.nix (Guix-only) (#65) CodeQL Security Analysis #217: Commit 42d54b3 pushed by hyperpolymath
57m 8s main
main
57m 8s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #216: Pull request #65 opened by hyperpolymath
54m 48s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
54m 48s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #215: Commit 5dbcd93 pushed by hyperpolymath
45m 49s main
main
45m 49s
Fix pre-existing CI: bound wire decoder recursion; unblock Smoke + pa… CodeQL Security Analysis #214: Commit 46e80b6 pushed by hyperpolymath
37s main
main
37s
Fix pre-existing CI: bound wire decoder recursion; unblock Smoke + parse gates CodeQL Security Analysis #213: Pull request #64 opened by hyperpolymath
44s claude/beautiful-edison-x0o5ke
claude/beautiful-edison-x0o5ke
44s
Add Claude Code on the web SessionStart hook for cargo warm-up CodeQL Security Analysis #212: Commit 29f2e9a pushed by hyperpolymath
1m 5s main
main
1m 5s
Add Claude Code on the web SessionStart hook for cargo warm-up CodeQL Security Analysis #211: Pull request #63 opened by hyperpolymath
47s claude/beautiful-edison-x0o5ke
claude/beautiful-edison-x0o5ke
47s
chore(root): tidy repository root — relocate 9 docs to docs/ (Phase 1+2) CodeQL Security Analysis #210: Commit 1e20d0e pushed by hyperpolymath
48s main
main
48s
chore(root): tidy repository root — relocate 9 docs to docs/ (Phase 1+2) CodeQL Security Analysis #209: Pull request #62 opened by hyperpolymath
54s chore/root-tidyup-phase1-2
chore/root-tidyup-phase1-2
54s
feat(abi): S2 slice 2 — VclOp/Transition Rust mirror + VCLT wire + tr… CodeQL Security Analysis #208: Commit e71a442 pushed by hyperpolymath
59s main
main
59s
feat(abi): S2 — consonance transitions (MERGE/SPLIT/NORMALISE) end-to-end CodeQL Security Analysis #207: Pull request #61 opened by hyperpolymath
42s feat/s2-transitions
feat/s2-transitions
42s
feat(abi): S1 additive Verb discriminant — promote ASSERT/DECLARE/RET… CodeQL Security Analysis #206: Commit f23ffb4 pushed by hyperpolymath
1m 9s main
main
1m 9s
feat(abi): S1 additive Verb discriminant — promote ASSERT/DECLARE/RETRACT CodeQL Security Analysis #205: Pull request #60 synchronize by hyperpolymath
1m 0s feat/s1-verb-discriminant
feat/s1-verb-discriminant
1m 0s
feat(abi): S1 additive Verb discriminant — promote ASSERT/DECLARE/RETRACT CodeQL Security Analysis #204: Pull request #60 opened by hyperpolymath
48s feat/s1-verb-discriminant
feat/s1-verb-discriminant
48s
fix(ci): green the three required gates + redirect stale stance doc CodeQL Security Analysis #203: Commit 156f6d7 pushed by hyperpolymath
39s main
main
39s
fix(ci): green the three required gates + redirect stale stance doc CodeQL Security Analysis #202: Pull request #59 opened by hyperpolymath
59s fix/ci-gates-stance-redirect
fix/ci-gates-stance-redirect
59s
docs(proof): mark the 4 scattered additive<->ceil 'sliver' mentions c… CodeQL Security Analysis #201: Commit 0b770ef pushed by hyperpolymath
48s main
main
48s
docs(proof): reconcile OWED section — additive<->ceil equivalence RES… CodeQL Security Analysis #200: Commit 9292171 pushed by hyperpolymath
56s main
main
56s
docs(proof): correct stale "Layout excluded/broken" drift (comments+p… CodeQL Security Analysis #199: Commit a007955 pushed by hyperpolymath
46s main
main
46s
ci(proof): comment-aware honesty-guard, replace brittle inline scan CodeQL Security Analysis #198: Commit db2bd9e pushed by hyperpolymath
42s main
main
42s
feat(vclt-gate): binary + certified_level surface + gate tests CodeQL Security Analysis #197: Commit 8feb542 pushed by hyperpolymath
46s main
main
46s