Skip to content

Actions: hyperpolymath/ochrance

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
264 workflow runs
264 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
Claude/safedom res stale sweep (#60) CodeQL Security Analysis #214: Commit 135bfba pushed by hyperpolymath
42s main
main
42s
Claude/safedom res stale sweep CodeQL Security Analysis #213: Pull request #60 synchronize by hyperpolymath
41s claude/safedom-res-stale-sweep
claude/safedom-res-stale-sweep
41s
chore(deps): bump nixpkgs from 8c91a71 to 3e41b24 (#59) CodeQL Security Analysis #212: Commit e66a607 pushed by hyperpolymath
4m 20s main
main
4m 20s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #211: Commit 1d8e2c1 pushed by hyperpolymath
19m 21s main
main
19m 21s
chore(deps): bump nixpkgs from 8c91a71 to 3e41b24 CodeQL Security Analysis #210: Pull request #59 opened by dependabot Bot
49s dependabot/nix/nixpkgs-3e41b24
dependabot/nix/nixpkgs-3e41b24
49s
feat(ffi): wire real BLAKE3 combiner — build+link libochrance.so, dro… CodeQL Security Analysis #209: Commit 703fa00 pushed by hyperpolymath
39s main
main
39s
feat(ffi): wire real BLAKE3 combiner — build+link libochrance.so, drop dead stubs CodeQL Security Analysis #208: Pull request #58 opened by hyperpolymath
45s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
45s
proof(crypto): Stage 4 (honest) — isolate CollisionResistant as the i… CodeQL Security Analysis #207: Commit a9da088 pushed by hyperpolymath
49s main
main
49s
proof: Stage 4 (honest) — isolate CollisionResistant as the irreducible crypto assumption CodeQL Security Analysis #206: Pull request #57 opened by hyperpolymath
42s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
42s
feat(verify): root-comparing verify path + power-of-two leaf layout (… CodeQL Security Analysis #205: Commit 20864f0 pushed by hyperpolymath
52s main
main
52s
feat: root-comparing verify path + power-of-two leaf layout (VerifyRoot) CodeQL Security Analysis #204: Pull request #56 opened by hyperpolymath
48s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
48s
proof(verify): live-verifier Merkle redesign — root-comparison soundn… CodeQL Security Analysis #203: Commit 1f1597e pushed by hyperpolymath
42s main
main
42s
proof: Stage 3.2 (repair⇒verify) + live-verifier Merkle redesign soundness CodeQL Security Analysis #202: Pull request #55 synchronize by hyperpolymath
41s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
41s
proof: Stage 3.2 (repair⇒verify) + live-verifier Merkle redesign soundness CodeQL Security Analysis #201: Pull request #55 opened by hyperpolymath
47s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
47s
proof(verify): Stage 2.4 (cont.) — verify↔Merkle modes 2+3 (inclusion… CodeQL Security Analysis #200: Commit ce195a5 pushed by hyperpolymath
48s main
main
48s
proof: verify↔Merkle modes 2+3 (inclusion-proof verification + live Hash bridge) CodeQL Security Analysis #199: Pull request #54 opened by hyperpolymath
50s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
50s
proof(verify): Stage 2.4 — verify↔Merkle wiring (root is a faithful f… CodeQL Security Analysis #198: Commit 04b5da9 pushed by hyperpolymath
46s main
main
46s
proof: Stage 3.1 repair correctness + Stage 2.4 verify↔Merkle wiring CodeQL Security Analysis #197: Pull request #53 synchronize by hyperpolymath
51s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
51s
proof: Stage 3.1 repair correctness + Stage 2.4 verify↔Merkle wiring CodeQL Security Analysis #196: Pull request #53 opened by hyperpolymath
46s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
46s
proof(verify): Stage 2.2 — verifier soundness (acceptance ⇒ refs matc… CodeQL Security Analysis #195: Commit 04ce0c8 pushed by hyperpolymath
48s main
main
48s
proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3) CodeQL Security Analysis #194: Pull request #52 opened by hyperpolymath
58s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
58s
proof(validator): Stage 2.1 — validateManifest soundness (ValidManife… CodeQL Security Analysis #193: Commit d32f82b pushed by hyperpolymath
35s main
main
35s
proof: Stage 1.4 (Merkle binding, D2) + Stage 2.1 (validator soundness) CodeQL Security Analysis #192: Pull request #51 synchronize by hyperpolymath
46s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
46s
proof: Stage 1.4 (Merkle binding, D2) + Stage 2.1 (validator soundness) CodeQL Security Analysis #191: Pull request #51 opened by hyperpolymath
47s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
47s
proof(merkle): Stage 1.3 — IO<->pure bridge (decompose: proven Either… CodeQL Security Analysis #190: Commit 02ba7ec pushed by hyperpolymath
42s main
main
42s