Skip to content

Actions: hyperpolymath/dictask

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
164 workflow runs
164 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: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #39: Commit cc8b21c pushed by hyperpolymath
4h 16m 36s main
main
4h 16m 36s
feat: add VeriSimDB Zig FFI module for task store dual-write CodeQL Security Analysis #38: Commit 2795808 pushed by hyperpolymath
4h 2m 23s main
main
4h 2m 23s
feat: wire conflow config validation pipeline CodeQL Security Analysis #37: Commit 040be18 pushed by hyperpolymath
3h 57m 50s main
main
3h 57m 50s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #36: Commit c8f4c0f pushed by hyperpolymath
3h 3m 58s main
main
3h 3m 58s
feat: add k9iser.toml and generate K9 contracts CodeQL Security Analysis #35: Commit a75ce1f pushed by hyperpolymath
2h 11m 6s main
main
2h 11m 6s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #34: Commit 960dd68 pushed by hyperpolymath
52m 9s main
main
52m 9s
docs: add TEST-NEEDS.md (CRG C) CodeQL Security Analysis #33: Commit b230f4b pushed by hyperpolymath
25m 33s main
main
25m 33s
Add casket pages workflow CodeQL Security Analysis #32: Commit f962aee pushed by hyperpolymath
19m 49s main
main
19m 49s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #31: Commit a6329d4 pushed by hyperpolymath
6m 36s main
main
6m 36s
CodeQL Security Analysis CodeQL Security Analysis #30: Scheduled
36s main
main
36s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #29: Commit 9c81293 pushed by hyperpolymath
1h 27m 37s main
main
1h 27m 37s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #28: Commit 1da9224 pushed by hyperpolymath
33m 58s main
main
33m 58s
Merge branch 'chore/cicd-optimizations' CodeQL Security Analysis #27: Commit f50391e pushed by hyperpolymath
46s master
master
46s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #26: Commit 3a54ce9 pushed by hyperpolymath
1h 2m 2s main
main
1h 2m 2s
chore: add agent_instructions methodology layer CodeQL Security Analysis #25: Commit 739bbb5 pushed by hyperpolymath
30m 5s main
main
30m 5s
CodeQL Security Analysis CodeQL Security Analysis #24: Scheduled
1m 8s main
main
1m 8s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #23: Commit 325b522 pushed by hyperpolymath
37m 19s main
main
37m 19s
chore(ci): maximize ci/cd values via dependabot and permissions CodeQL Security Analysis #22: Commit ffd6086 pushed by hyperpolymath
17m 31s main
main
17m 31s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #21: Pull request #1 opened by hyperpolymath
8m 18s chore/cicd-optimizations
chore/cicd-optimizations
8m 18s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #20: Commit a1d9458 pushed by hyperpolymath
1h 36m 29s main
main
1h 36m 29s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #19: Commit fdf4e36 pushed by hyperpolymath
21m 32s main
main
21m 32s
chore: RSR sync and mass repository update CodeQL Security Analysis #18: Commit f167b5c pushed by hyperpolymath
17m 35s main
main
17m 35s
chore: add #![forbid(unsafe_code)] to safe Rust crates CodeQL Security Analysis #17: Commit eb16ecb pushed by hyperpolymath
2h 23m 19s main
main
2h 23m 19s
feat: add CLADE.a2ml — clade taxonomy declaration CodeQL Security Analysis #16: Commit 3825fc2 pushed by hyperpolymath
1h 35m 12s main
main
1h 35m 12s
chore: clean up legacy Trustfile.hs, example Trustfiles, and AI.djot … CodeQL Security Analysis #15: Commit 203f677 pushed by hyperpolymath
26m 17s main
main
26m 17s