Skip to content

Actions: hyperpolymath/k9-rs

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
128 workflow runs
128 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(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #28: Commit fbeda3f pushed by hyperpolymath
52m 2s main
main
52m 2s
chore(contractiles): add k9-svc-validation workflow and A2ML contract… CodeQL Security Analysis #27: Commit 439ec14 pushed by hyperpolymath
48s main
main
48s
CodeQL Security Analysis CodeQL Security Analysis #26: Scheduled
39s main
main
39s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #25: Commit 98e0e33 pushed by hyperpolymath
5h 49m 36s main
main
5h 49m 36s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #24: Commit c7b9a4c pushed by hyperpolymath
4h 37m 46s main
main
4h 37m 46s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #23: Commit 354e2c0 pushed by hyperpolymath
3h 51m 12s main
main
3h 51m 12s
docs: add TOPOLOGY.md CodeQL Security Analysis #22: Commit 82e36cd pushed by hyperpolymath
2h 14m 33s main
main
2h 14m 33s
feat: add idrisiser Idris2 proof wrappers for K9 contract validator CodeQL Security Analysis #21: Commit 858513d pushed by hyperpolymath
2h 7m 30s main
main
2h 7m 30s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #20: Commit ed4096f pushed by hyperpolymath
2h 46m 49s main
main
2h 46m 49s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #19: Commit 3199fa3 pushed by hyperpolymath
1h 10m 40s main
main
1h 10m 40s
docs: add TEST-NEEDS.md (CRG C) CodeQL Security Analysis #18: Commit 85754ae pushed by hyperpolymath
31m 14s main
main
31m 14s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #17: Pull request #2 opened by hyperpolymath
54s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
54s
Add casket pages workflow CodeQL Security Analysis #16: Commit 97037f9 pushed by hyperpolymath
33m 17s main
main
33m 17s
CodeQL Security Analysis CodeQL Security Analysis #15: Scheduled
42s main
main
42s
chore: replace template placeholder in ROADMAP.adoc with project name CodeQL Security Analysis #14: Commit c188433 pushed by hyperpolymath
11m 56s main
main
11m 56s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #13: Commit 7625a68 pushed by hyperpolymath
1h 41m 46s main
main
1h 41m 46s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #12: Commit 357e306 pushed by hyperpolymath
59m 57s main
main
59m 57s
Merge branch 'chore/cicd-optimizations' CodeQL Security Analysis #11: Commit 7ccae0d pushed by hyperpolymath
46s master
master
46s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #10: Commit b300448 pushed by hyperpolymath
1h 16m 6s main
main
1h 16m 6s
chore: add agent_instructions methodology layer CodeQL Security Analysis #9: Commit b17fa22 pushed by hyperpolymath
46m 44s main
main
46m 44s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … CodeQL Security Analysis #8: Commit 1673d59 pushed by hyperpolymath
18m 17s main
main
18m 17s
CodeQL Security Analysis CodeQL Security Analysis #7: Scheduled
1m 35s main
main
1m 35s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #6: Commit f3c3549 pushed by hyperpolymath
40m 15s main
main
40m 15s
chore(ci): maximize ci/cd values via dependabot and permissions CodeQL Security Analysis #5: Commit e58a688 pushed by hyperpolymath
21m 15s main
main
21m 15s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #4: Pull request #1 opened by hyperpolymath
22m 39s chore/cicd-optimizations
chore/cicd-optimizations
22m 39s