Skip to content

Actions: hyperpolymath/krl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
86 workflow runs
86 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
docs: standardize contact/attribution email to j.d.a.jewell@open.ac.u… CodeQL Security Analysis #86: Commit 8c1796c pushed by hyperpolymath
3m 48s main
main
3m 48s
docs: standardize contact/attribution email to j.d.a.jewell@open.ac.uk CodeQL Security Analysis #85: Pull request #34 opened by hyperpolymath
1m 52s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
1m 52s
CodeQL Security Analysis CodeQL Security Analysis #84: Scheduled
45s main
main
45s
docs(governance): fill required-file placeholders + fix project naming CodeQL Security Analysis #83: Commit 7e3947f pushed by hyperpolymath
45s main
main
45s
docs(governance): fill required-file placeholders CodeQL Security Analysis #82: Pull request #33 opened by hyperpolymath
45s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
45s
ci: set CodeQL language matrix to actions (no JS/TS source in repo) CodeQL Security Analysis #81: Commit c598574 pushed by hyperpolymath
44s main
main
44s
ci: CodeQL language matrix -> actions CodeQL Security Analysis #80: Pull request #32 opened by hyperpolymath
43s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
43s
chore: preserve in-progress KRL Agda proofs (Properties -> GeneratorI… CodeQL Security Analysis #79: Commit 02a5851 pushed by hyperpolymath
31s main
main
31s
chore: preserve in-progress KRL Agda proofs (review before merge) CodeQL Security Analysis #78: Pull request #31 opened by hyperpolymath
38s claude/krl-preserve-agda-proof-wip
claude/krl-preserve-agda-proof-wip
38s
fix: invalid // comment headers break YAML/just parsing (use #) (#30) CodeQL Security Analysis #77: Commit e42eeaf pushed by hyperpolymath
34s main
main
34s
fix: invalid // comment headers in YAML/Justfile CodeQL Security Analysis #76: Pull request #30 opened by hyperpolymath
33s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
33s
Merge pull request #29 from hyperpolymath/claude/safedom-res-stale-sweep CodeQL Security Analysis #75: Commit 9ad1dec pushed by hyperpolymath
3m 24s main
main
3m 24s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #74: Pull request #29 synchronize by hyperpolymath
1m 14s claude/safedom-res-stale-sweep
claude/safedom-res-stale-sweep
1m 14s
test(kr-7): generator index must be positive (no sigma 0, no negative) CodeQL Security Analysis #73: Pull request #25 opened by hyperpolymath
42s tests/kr-7-generator-index-positive
tests/kr-7-generator-index-positive
42s
docs(proof): KRL-specific proof narrative + assumption registry; drop template content CodeQL Security Analysis #72: Pull request #23 opened by hyperpolymath
50s docs/proof-narrative-and-assumption-registry
docs/proof-narrative-and-assumption-registry
50s
CodeQL Security Analysis CodeQL Security Analysis #71: Scheduled
40s main
main
40s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#21) CodeQL Security Analysis #70: Commit 4a21139 pushed by hyperpolymath
13h 52m 8s main
main
13h 52m 8s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) CodeQL Security Analysis #69: Pull request #21 opened by hyperpolymath
12h 38m 39s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
12h 38m 39s
fix(ci): replace fake action SHA pins in e2e.yml template stubs (#20) CodeQL Security Analysis #68: Commit 4db81a7 pushed by hyperpolymath
5m 6s main
main
5m 6s
fix(ci): sweep fake action SHA pins from e2e.yml template stubs CodeQL Security Analysis #67: Pull request #20 opened by hyperpolymath
6m 40s claude/fix-template-fake-shas
claude/fix-template-fake-shas
6m 40s
ci(hypatia-scan): repin reusable to merge-commit SHA (#19) CodeQL Security Analysis #66: Commit 1058e1b pushed by hyperpolymath
5h 25m 59s main
main
5h 25m 59s
chore(ci): replace secret-scanner.yml with reusable wrapper (#17) CodeQL Security Analysis #65: Commit 68c3494 pushed by hyperpolymath
9s main
main
9s
docs: record tech-debt audit findings (2026-05-26) (#15) CodeQL Security Analysis #64: Commit deb397b pushed by hyperpolymath
8s main
main
8s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… CodeQL Security Analysis #63: Commit f53636f pushed by hyperpolymath
11s main
main
11s
chore(ci): replace scorecard.yml with reusable wrapper (#18) CodeQL Security Analysis #62: Commit ddc00c5 pushed by hyperpolymath
3h 47m 39s main
main
3h 47m 39s