Skip to content

Actions: hyperpolymath/statistease

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
63 workflow runs
63 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
CodeQL Security Analysis CodeQL Security Analysis #63: Scheduled
45s main
main
45s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #62: Commit ec1ac0b pushed by hyperpolymath
1h 31m 34s main
main
1h 31m 34s
chore: automated sync of local changes CodeQL Security Analysis #61: Commit 55b4ff5 pushed by hyperpolymath
24m 10s main
main
24m 10s
CodeQL Security Analysis CodeQL Security Analysis #60: Scheduled
42s main
main
42s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #59: Commit eaf985a pushed by hyperpolymath
6h 21m 32s main
main
6h 21m 32s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #58: Commit 3af71dd pushed by hyperpolymath
4h 50m 37s main
main
4h 50m 37s
feat: add wokelangiser consent gates and compliance report CodeQL Security Analysis #57: Commit 7402f5a pushed by hyperpolymath
4h 6m 13s main
main
4h 6m 13s
feat: wire conflow config validation pipeline CodeQL Security Analysis #56: Commit f23a5fb pushed by hyperpolymath
4h 5m 13s main
main
4h 5m 13s
feat: wire conflow config validation pipeline CodeQL Security Analysis #55: Pull request #2 opened by hyperpolymath
4h 1m 31s conflow-wiring
conflow-wiring
4h 1m 31s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #54: Commit 29b42c9 pushed by hyperpolymath
3h 24m 48s main
main
3h 24m 48s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #53: Commit ea4bb9e pushed by hyperpolymath
2h 57m 9s main
main
2h 57m 9s
ci: deploy dogfood-gate, add CRG tests and Groove manifest, update CI… CodeQL Security Analysis #52: Commit 10cd03b pushed by hyperpolymath
1h 47m 24s main
main
1h 47m 24s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #51: Commit 96f3082 pushed by hyperpolymath
42m 39s main
main
42m 39s
Add casket pages workflow CodeQL Security Analysis #50: Commit 707b369 pushed by hyperpolymath
1h 2m 44s main
main
1h 2m 44s
ci: add E2E + aspect CI workflow for Julia test suite CodeQL Security Analysis #49: Commit 718d526 pushed by hyperpolymath
2m 22s main
main
2m 22s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #48: Commit d64928e pushed by hyperpolymath
19m 1s main
main
19m 1s
CodeQL Security Analysis CodeQL Security Analysis #47: Scheduled
46s main
main
46s
fix(ci): resolve remaining SHA pin failures + boj-build permissions CodeQL Security Analysis #46: Commit 206c73e pushed by hyperpolymath
45s main
main
45s
feat: 6 Julia ecosystem integrations — Axiom, SMTLib, Causals, Bowtie… CodeQL Security Analysis #45: Commit ec19b0d pushed by hyperpolymath
43s main
main
43s
docs: BetLang ↔ StatistEase capability comparison table CodeQL Security Analysis #44: Commit e350861 pushed by hyperpolymath
43s main
main
43s
feat: BetLang probabilistic programming integration + 442 tests CodeQL Security Analysis #43: Commit 95da14e pushed by hyperpolymath
51s main
main
51s
test: comprehensive test blitz — 398 assertions, 0 failures CodeQL Security Analysis #42: Commit 1eb4b5b pushed by hyperpolymath
48s main
main
48s
feat: Agda formal proofs — 10 statistical identities, 0 postulates CodeQL Security Analysis #41: Commit 4483cef pushed by hyperpolymath
43s main
main
43s
feat: ECHIDNA adapter + TypeLL levels 1-12 statistical types CodeQL Security Analysis #40: Commit b705a43 pushed by hyperpolymath
43s main
main
43s
feat: Aspasia cross-verification bridge + VeriSimDB schema (port 8096) CodeQL Security Analysis #39: Commit 6385248 pushed by hyperpolymath
44s main
main
44s