Skip to content

Actions: hyperpolymath/valence-shell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
366 workflow runs
366 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(state): update STATE.a2ml — Coq proof debt items #1+#2 closed CodeQL Security Analysis #116: Commit ecdc105 pushed by hyperpolymath
8s main
main
8s
proof(coq): prove 2 deferred axioms + fix path_prefix bool + add .git… CodeQL Security Analysis #115: Commit 1ef841c pushed by hyperpolymath
6s main
main
6s
refactor(agda): use stdlib Extensionality type for funext postulate CodeQL Security Analysis #114: Commit c3b932f pushed by hyperpolymath
14s main
main
14s
proof(coq): replace 5 decidability axioms with constructive proofs CodeQL Security Analysis #113: Commit 794c568 pushed by hyperpolymath
7s main
main
7s
proof(coq): replace Axiom functional_extensionality with stdlib import CodeQL Security Analysis #112: Commit e3d1315 pushed by hyperpolymath
56s main
main
56s
chore(6a2): commit 6a2 sweep — a2ml drift CodeQL Security Analysis #111: Commit b22071b pushed by hyperpolymath
6m 35s main
main
6m 35s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #110: Commit 81bc7c2 pushed by hyperpolymath
1h 36m 20s main
main
1h 36m 20s
CodeQL Security Analysis CodeQL Security Analysis #109: Scheduled
6s main
main
6s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #108: Commit 01104b5 pushed by hyperpolymath
6h 27m 30s main
main
6h 27m 30s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #107: Commit ab68b9d pushed by hyperpolymath
5h 1m 38s main
main
5h 1m 38s
docs: add M2 estate audit report (2026-04-04) CodeQL Security Analysis #106: Commit 07d9980 pushed by hyperpolymath
3h 57m 33s main
main
3h 57m 33s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #105: Commit 51c0955 pushed by hyperpolymath
3h 39m 46s main
main
3h 39m 46s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #104: Commit 4fef719 pushed by hyperpolymath
1h 32m 24s main
main
1h 32m 24s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #103: Commit d91e587 pushed by hyperpolymath
45m 33s main
main
45m 33s
docs: add CRG Grade C header to TEST-NEEDS.md CodeQL Security Analysis #102: Commit c7cf2bc pushed by hyperpolymath
19s main
main
19s
chore: Update STATE.a2ml for CRG-C completion (2026-04-04) CodeQL Security Analysis #101: Commit f639ac5 pushed by hyperpolymath
1m 15s main
main
1m 15s
test: Blitz valence-shell to CRG C (benchmarks + E2E + Zig/Elixir exp… CodeQL Security Analysis #100: Commit 260aa3c pushed by hyperpolymath
7s main
main
7s
fix: remove tracked build artifacts, update gitignore CodeQL Security Analysis #99: Commit 00fe9c8 pushed by hyperpolymath
3m 39s main
main
3m 39s
fix(deps): bump ratatui 0.29 -> 0.30 to resolve lru < 0.16.3 advisory CodeQL Security Analysis #98: Commit 8cf4a64 pushed by hyperpolymath
2m 9s main
main
2m 9s
fix(proofs): close proof holes — eliminate postulates, Obj.magic, and… CodeQL Security Analysis #97: Commit 055533b pushed by hyperpolymath
6s main
main
6s
fix(deps): update Cargo.lock to resolve security advisories CodeQL Security Analysis #96: Commit 91ca9a3 pushed by hyperpolymath
5m 34s main
main
5m 34s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit CodeQL Security Analysis #95: Commit 4b31006 pushed by hyperpolymath
14m 7s main
main
14m 7s
chore(deps): bump the actions group with 2 updates (#11) CodeQL Security Analysis #94: Commit d6aabc5 pushed by hyperpolymath
3m 5s main
main
3m 5s
chore: replace template placeholders in ROADMAP.adoc files CodeQL Security Analysis #93: Commit 5b7384a pushed by hyperpolymath
20m 57s main
main
20m 57s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #92: Pull request #11 opened by dependabot Bot
8s dependabot/github_actions/actions-398e6f7f4f
dependabot/github_actions/actions-398e6f7f4f
8s
ProTip! You can narrow down the results and go further in time using created:<2026-03-29 or the other filters available.