Skip to content

Actions: hyperpolymath/conflow

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
134 workflow runs
134 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
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL Security Analysis #134: Commit 92ca8c1 pushed by hyperpolymath
5h 56m 25s main
main
5h 56m 25s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #133: Commit 2a8b9ff pushed by hyperpolymath
3h 21m 2s main
main
3h 21m 2s
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #132: Commit 2b724ae pushed by hyperpolymath
2h 55m 46s main
main
2h 55m 46s
ci: restore Dependabot security path + wire auto-merge CodeQL Security Analysis #131: Commit 5c518e8 pushed by hyperpolymath
1h 23m 9s main
main
1h 23m 9s
chore: sync local state CodeQL Security Analysis #130: Commit fc9b36e pushed by hyperpolymath
22m 18s main
main
22m 18s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #129: Commit 810cc7a pushed by hyperpolymath
1h 19m 12s main
main
1h 19m 12s
Auto-commit before sync: Wed 15 Apr 15:29:41 BST 2026 CodeQL Security Analysis #128: Commit aac2bb5 pushed by hyperpolymath
6m 32s main
main
6m 32s
chore: automated sync of local changes CodeQL Security Analysis #127: Commit d262bfc pushed by hyperpolymath
18m 53s main
main
18m 53s
CodeQL Security Analysis CodeQL Security Analysis #126: Scheduled
4m 49s main
main
4m 49s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #125: Commit c4410df pushed by hyperpolymath
30m 34s main
main
30m 34s
CodeQL Security Analysis CodeQL Security Analysis #124: Scheduled
4m 42s main
main
4m 42s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #123: Commit ca896ca pushed by hyperpolymath
5h 31m 56s main
main
5h 31m 56s
docs: update TEST-NEEDS.md with session 9 bench additions CodeQL Security Analysis #122: Commit 2bcc39b pushed by hyperpolymath
5h 8m 48s main
main
5h 8m 48s
bench: add Nickel and CUE format-specific analyzer benchmarks CodeQL Security Analysis #121: Commit 57d0686 pushed by hyperpolymath
5h 9m 12s main
main
5h 9m 12s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #120: Commit 3a2f3ad pushed by hyperpolymath
4h 18m 6s main
main
4h 18m 6s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #119: Commit 00f86f1 pushed by hyperpolymath
3h 7m 33s main
main
3h 7m 33s
feat: add tlaiser state machine specs for config validation pipeline CodeQL Security Analysis #118: Commit 774f8de pushed by hyperpolymath
2h 12m 15s main
main
2h 12m 15s
feat: add k9iser.toml and generate K9 contracts CodeQL Security Analysis #117: Commit 67b9b0f pushed by hyperpolymath
2h 18m 3s main
main
2h 18m 3s
ci: deploy dogfood-gate, update CI config, add CRG tests CodeQL Security Analysis #116: Commit b719b11 pushed by hyperpolymath
1h 44m 31s main
main
1h 44m 31s
fix(ci): replace casket-pages with standard Jekyll Pages workflow CodeQL Security Analysis #115: Commit 1a45c81 pushed by hyperpolymath
8m 54s main
main
8m 54s
Add casket pages workflow CodeQL Security Analysis #114: Commit f87d4c8 pushed by hyperpolymath
25m 51s main
main
25m 51s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #113: Commit 9a1c8fe pushed by hyperpolymath
8m 34s main
main
8m 34s
CodeQL Security Analysis CodeQL Security Analysis #112: Scheduled
5m 5s main
main
5m 5s
chore: replace template placeholder in ROADMAP.adoc with project name CodeQL Security Analysis #111: Commit cd8b894 pushed by hyperpolymath
10m 58s main
main
10m 58s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #110: Commit 685d3eb pushed by hyperpolymath
14m 6s main
main
14m 6s