Skip to content

Actions: hyperpolymath/typedqliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add agent_instructions methodology layer CodeQL Security Analysis #14: Commit 3bccfa2 pushed by hyperpolymath
1h 39m 1s main
main
1h 39m 1s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #13: Commit 4d4fea1 pushed by hyperpolymath
1h 33m 35s main
main
1h 33m 35s
chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #12: Commit 43bf7ce pushed by hyperpolymath
30m 27s main
main
30m 27s
CodeQL Security Analysis CodeQL Security Analysis #11: Scheduled
1m 1s main
main
1m 1s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #10: Commit 85c189a pushed by hyperpolymath
32m 28s main
main
32m 28s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #9: Commit 168e480 pushed by hyperpolymath
11m 39s main
main
11m 39s
fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #8: Commit e3a6f77 pushed by hyperpolymath
6m 42s main
main
6m 42s
test: comprehensive L3 test suite — point-to-point, end-to-end, aspects CodeQL Security Analysis #7: Commit fa9c580 pushed by hyperpolymath
40s main
main
40s
fix: use license-file for crates.io compatibility CodeQL Security Analysis #6: Commit 2ed7941 pushed by hyperpolymath
47s main
main
47s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile CodeQL Security Analysis #5: Commit d6f833b pushed by hyperpolymath
1m 41s main
main
1m 41s
chore(floor-raise): add foundational tool integrations CodeQL Security Analysis #4: Commit 4b4dda7 pushed by hyperpolymath
6m 45s main
main
6m 45s
TypedQLiser MVP: working SQL type checker (Levels 1-5) CodeQL Security Analysis #3: Commit e40c900 pushed by hyperpolymath
38s main
main
38s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… CodeQL Security Analysis #2: Commit 4883657 pushed by hyperpolymath
41s main
main
41s
Initial commit: TypedQLiser — formal type safety for any query language CodeQL Security Analysis #1: Commit aaf628e pushed by hyperpolymath
38s main
main
38s