Skip to content

Actions: hyperpolymath/krl

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
143 workflow runs
143 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
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #93: Commit 1ecbf12 pushed by hyperpolymath
4m 13s main
main
4m 13s
docs(scope): mark VerisimCore placement resolved in scope table CodeQL Security Analysis #92: Commit 7fda2f5 pushed by hyperpolymath
45s main
main
45s
docs: mark VerisimCore placement resolved in krl scope table CodeQL Security Analysis #91: Pull request #37 opened by hyperpolymath
42s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
42s
docs(affirmation): krl AFFIRMATION (real gate run) + scoped scope table CodeQL Security Analysis #90: Commit 79fd29c pushed by hyperpolymath
44s main
main
44s
docs: krl AFFIRMATION (real gate run) + scoped Must/Intend/Wish table CodeQL Security Analysis #89: Pull request #36 opened by hyperpolymath
48s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
48s
docs(krl): ground KRL identity + 5-role stack per canonical spec CodeQL Security Analysis #88: Commit c8874ee pushed by hyperpolymath
1m 57s main
main
1m 57s
docs(krl): ground KRL identity + 5-role stack per canonical spec CodeQL Security Analysis #87: Pull request #35 opened by hyperpolymath
47s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
47s
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