Skip to content

Actions: hyperpolymath/phronesis

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
278 workflow runs
278 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: scorecard publish workflow — extract run steps to composite actions CodeQL Security Analysis #153: Pull request #54 opened by hyperpolymath
45s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
45s
Green test suite; harden CI workflows; academic + wiki → AsciiDoc (#53) CodeQL Security Analysis #152: Commit fc56afa pushed by hyperpolymath
45s main
main
45s
Green test suite; harden CI workflows; academic + wiki → AsciiDoc CodeQL Security Analysis #151: Pull request #53 opened by hyperpolymath
43s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
43s
Fix pre-existing test bugs; narrative docs → AsciiDoc; version 0.9.0 … CodeQL Security Analysis #150: Commit 1f02f3c pushed by hyperpolymath
51s main
main
51s
Fix pre-existing test bugs; narrative docs → AsciiDoc; version 0.9.0 CodeQL Security Analysis #149: Pull request #52 opened by hyperpolymath
41s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
41s
Reflexion design layer + docs/metadata/licence sync (#51) CodeQL Security Analysis #148: Commit e87d9f0 pushed by hyperpolymath
38s main
main
38s
Reflexion design layer + docs/metadata/licence sync CodeQL Security Analysis #147: Pull request #51 opened by hyperpolymath
51s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
51s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… CodeQL Security Analysis #146: Commit b0199a9 pushed by hyperpolymath
3m 21s main
main
3m 21s
fix(abi/idris): sound total decidable type equality — Types.idr now typechecks CodeQL Security Analysis #145: Pull request #50 opened by hyperpolymath
44s fix/idris-abi-deceq-total
fix/idris-abi-deceq-total
44s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… CodeQL Security Analysis #144: Commit 238af47 pushed by hyperpolymath
46s main
main
46s
fix(phronesis-ast): move stranded #![forbid(unsafe_code)] to crate top (crate now compiles) CodeQL Security Analysis #143: Pull request #49 opened by hyperpolymath
51s fix/phronesis-ast-forbid-attr
fix/phronesis-ast-forbid-attr
51s
Merge pull request #48 from hyperpolymath/fix/coq-mechanization-axiom… CodeQL Security Analysis #142: Commit 395f8c8 pushed by hyperpolymath
49s main
main
49s
Repair Coq + Agda formal verification so it actually checks (axiom-free) CodeQL Security Analysis #141: Pull request #48 synchronize by hyperpolymath
58s fix/coq-mechanization-axiom-free
fix/coq-mechanization-axiom-free
58s
chore(deps): bump ra from 3.1.7 to 3.1.8 CodeQL Security Analysis #140: Commit 6f6e8d8 pushed by hyperpolymath
38s main
main
38s
chore(deps): bump ra from 3.1.7 to 3.1.8 CodeQL Security Analysis #139: Pull request #47 opened by dependabot Bot
42s dependabot/hex/ra-3.1.8
dependabot/hex/ra-3.1.8
42s
ci(lean): add Lean proof gate (lake build) guarding the metatheory CodeQL Security Analysis #138: Commit c8780bf pushed by hyperpolymath
39s main
main
39s
ci(lean): add Lean proof gate (lake build) guarding the metatheory CodeQL Security Analysis #137: Pull request #46 opened by hyperpolymath
41s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
41s
proof(lean4): mechanize BFT quorum-intersection safety (Theorem 3) CodeQL Security Analysis #136: Commit d2c1d03 pushed by hyperpolymath
43s main
main
43s
proof(lean4): mechanize BFT quorum-intersection safety (Theorem 3) CodeQL Security Analysis #135: Pull request #45 opened by hyperpolymath
45s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
45s
proof(lean4): mechanize Ethical Verdict Consistency (policy arbitration) CodeQL Security Analysis #134: Commit a088b15 pushed by hyperpolymath
47s main
main
47s
proof(lean4): mechanize Capability Soundness + Ethical Verdict Consistency CodeQL Security Analysis #133: Pull request #44 synchronize by hyperpolymath
43s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
43s
proof(lean4): mechanize Capability Soundness + Ethical Verdict Consistency CodeQL Security Analysis #132: Pull request #44 opened by hyperpolymath
47s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
47s
proof(conformance): fix corpus to match grammar; wire conformance gate CodeQL Security Analysis #131: Commit 44c97cb pushed by hyperpolymath
44s main
main
44s
proof(conformance): fix corpus to match grammar; wire conformance gate CodeQL Security Analysis #130: Pull request #43 opened by hyperpolymath
56s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
56s
proof(consensus): fix + model-check the BFT consensus spec; wire TLC … CodeQL Security Analysis #129: Commit 0911bc4 pushed by hyperpolymath
39s main
main
39s