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
chore: add missing RSR template files CodeQL Security Analysis #14: Commit f06d03d pushed by hyperpolymath
13m 21s main
main
13m 21s
chore: remove crash capture artifacts, update .gitignore CodeQL Security Analysis #13: Commit 260cb7a pushed by hyperpolymath
27m 39s main
main
27m 39s
CodeQL Security Analysis CodeQL Security Analysis #12: Scheduled
1m 14s main
main
1m 14s
feat: complete Phase 1 - dependent types, linear types, FFI buffers, … CodeQL Security Analysis #11: Commit b5cacb7 pushed by hyperpolymath
4h 4m 37s main
main
4h 4m 37s
feat: implement hex string parsing for Ed25519 signatures CodeQL Security Analysis #10: Commit 07ba713 pushed by hyperpolymath
4h 19m 16s main
main
4h 19m 16s
docs: update STATE.scm - Phase 1 complete, Phase 2 started CodeQL Security Analysis #9: Commit 9c23bef pushed by hyperpolymath
4h 23m 0s main
main
4h 23m 0s
feat: add Ed25519 signature verification to FFI CodeQL Security Analysis #8: Commit f31783f pushed by hyperpolymath
4h 24m 30s main
main
4h 24m 30s
test: add Phase 1 test suite with comprehensive coverage CodeQL Security Analysis #7: Commit db0d7e2 pushed by hyperpolymath
4h 24m 30s main
main
4h 24m 30s
feat: successful Phase 1 build with Idris2 + Zig FFI CodeQL Security Analysis #6: Commit 1b3ecbf pushed by hyperpolymath
3h 5m 19s main
main
3h 5m 19s
docs: add AI Gatekeeper Protocol notes and foundations status CodeQL Security Analysis #5: Commit b0eec0b pushed by hyperpolymath
52s main
main
52s
general update CodeQL Security Analysis #4: Commit 7eb5138 pushed by hyperpolymath
1m 30s main
main
1m 30s
feat: implement ABI layer with Idris2 dependent types and Zig FFI CodeQL Security Analysis #3: Commit aa185f0 pushed by hyperpolymath
40s main
main
40s
feat: complete A2ML Parser implementation with covering totality CodeQL Security Analysis #2: Commit ce27e94 pushed by hyperpolymath
36s main
main
36s
feat: initial ochrance framework structure CodeQL Security Analysis #1: Commit 832b874 pushed by hyperpolymath
38s main
main
38s
ProTip! You can narrow down the results and go further in time using created:<2026-02-06 or the other filters available.