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
proof(consensus): fix + model-check the BFT spec (TLC) + wire CI CodeQL Security Analysis #128: Pull request #42 opened by hyperpolymath
46s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
46s
proof(lean4): mechanize Sandbox Isolation (safety_proofs.md Theorem 1) CodeQL Security Analysis #127: Commit 7dd9f3a pushed by hyperpolymath
44s main
main
44s
proof(lean4): mechanize Sandbox Isolation (Theorem 1) CodeQL Security Analysis #126: Pull request #41 opened by hyperpolymath
56s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
56s
proof(lean4): complete preservation + determinism; build Phronesis.le… CodeQL Security Analysis #125: Commit 89166e9 pushed by hyperpolymath
43s main
main
43s
proof(lean4): complete preservation + determinism (Lean parity with Coq) CodeQL Security Analysis #124: Pull request #40 opened by hyperpolymath
41s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
41s
proof: make Phronesis.agda compile; integrate echo-types (#39) CodeQL Security Analysis #123: Commit e9d102c pushed by hyperpolymath
43s main
main
43s
proof: make Phronesis.agda compile; integrate echo-types (verdict provenance) CodeQL Security Analysis #122: Pull request #39 synchronize by hyperpolymath
41s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
41s
proof: make Phronesis.agda compile; integrate echo-types (verdict provenance) CodeQL Security Analysis #121: Pull request #39 opened by hyperpolymath
38s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
38s
Merge pull request #38 from hyperpolymath/chore/ts-to-as-step-1-build… CodeQL Security Analysis #120: Commit fcf5b08 pushed by hyperpolymath
46s main
main
46s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #119: Pull request #38 synchronize by hyperpolymath
1m 29s chore/ts-to-as-step-1-build-integration
chore/ts-to-as-step-1-build-integration
1m 29s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#37) CodeQL Security Analysis #118: Commit 02c29e6 pushed by hyperpolymath
7m 37s main
main
7m 37s
ci(codeql): cron weekly→monthly (cut 3, standards#288) CodeQL Security Analysis #117: Pull request #37 opened by hyperpolymath
8m 23s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
8m 23s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … CodeQL Security Analysis #116: Commit a165da9 pushed by hyperpolymath
33s main
main
33s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) CodeQL Security Analysis #115: Pull request #36 opened by hyperpolymath
53s ci/bump-a2ml-validate-action-sexpr-support
ci/bump-a2ml-validate-action-sexpr-support
53s
CodeQL Security Analysis CodeQL Security Analysis #114: Scheduled
37s main
main
37s
chore(vscode): migrate build chain from TypeScript to AffineScript (#35) CodeQL Security Analysis #113: Commit 94a92ed pushed by hyperpolymath
14h 48m 32s main
main
14h 48m 32s
chore(vscode): migrate build chain to AffineScript CodeQL Security Analysis #112: Pull request #35 opened by hyperpolymath
5h 42m 56s chore/ts-to-as-step-1-build-integration
chore/ts-to-as-step-1-build-integration
5h 42m 56s
ci(scorecard): add job-level permissions for reusable workflow (#34) CodeQL Security Analysis #111: Commit 64bbd59 pushed by hyperpolymath
2h 22m 11s main
main
2h 22m 11s
ci(scorecard): add job-level permissions for reusable workflow CodeQL Security Analysis #110: Pull request #34 opened by hyperpolymath
2h 26m 38s chore/scorecard-job-level-perms-282
chore/scorecard-job-level-perms-282
2h 26m 38s
docs(claude-md): flip ReScript→AffineScript per 2026-05-25 estate lan… CodeQL Security Analysis #109: Commit a601cfc pushed by hyperpolymath
58s main
main
58s
docs(claude-md): flip ReScript→AffineScript language-policy table CodeQL Security Analysis #108: Pull request #33 opened by hyperpolymath
1m 1s docs/claude-md-rescript-to-affinescript
docs/claude-md-rescript-to-affinescript
1m 1s
chore(ci): replace mirror.yml with reusable wrapper (#32) CodeQL Security Analysis #107: Commit 9ea2d2a pushed by hyperpolymath
1m 12s main
main
1m 12s
chore(ci): replace mirror.yml with reusable wrapper CodeQL Security Analysis #106: Pull request #32 opened by hyperpolymath
1m 21s chore/mirror-reusable-wrapper
chore/mirror-reusable-wrapper
1m 21s
chore(ci): replace scorecard.yml with reusable wrapper (#31) CodeQL Security Analysis #105: Commit 4f7c3df pushed by hyperpolymath
34s main
main
34s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL Security Analysis #104: Pull request #31 opened by hyperpolymath
1m 11s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
1m 11s