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
security: resolve dependabot alerts for rand and rustls-webpki CodeQL Security Analysis #166: Commit a287e5d pushed by hyperpolymath
58s main
main
58s
Claude/advance project y32 it (#17) CodeQL Security Analysis #165: Commit 660b1a9 pushed by hyperpolymath
1m 3s main
main
1m 3s
Claude/advance project y32 it CodeQL Security Analysis #164: Pull request #17 opened by hyperpolymath
14s claude/advance-project-Y32IT
claude/advance-project-Y32IT
14s
Claude/advance project y32 it (#16) CodeQL Security Analysis #163: Commit ab75eb0 pushed by hyperpolymath
4m 38s main
main
4m 38s
Claude/advance project y32 it CodeQL Security Analysis #162: Pull request #16 opened by hyperpolymath
46s claude/advance-project-Y32IT
claude/advance-project-Y32IT
46s
Claude/advance project y32 it (#15) CodeQL Security Analysis #161: Commit aa0acef pushed by hyperpolymath
1m 21s main
main
1m 21s
Claude/advance project y32 it CodeQL Security Analysis #160: Pull request #15 synchronize by hyperpolymath
11s claude/advance-project-Y32IT
claude/advance-project-Y32IT
11s
CodeQL Security Analysis CodeQL Security Analysis #159: Scheduled
6s main
main
6s
STATE.a2ml: re-grade attempt — restore self-declared C; record full CodeQL Security Analysis #158: Commit f291099 pushed by hyperpolymath
3h 58m 17s main
main
3h 58m 17s
process_sub: add UUID v4 to FIFO path; fixes test_fifo_path_unique race CodeQL Security Analysis #157: Commit 2efd506 pushed by hyperpolymath
3h 55m 40s main
main
3h 55m 40s
README batch 4/4: 4 utility-dir READMEs (audit item 3 — CLOSED) CodeQL Security Analysis #156: Commit 2d2723e pushed by hyperpolymath
4h 2m 38s main
main
4h 2m 38s
README batch 3/4: 5 implementation/FFI/ABI READMEs (audit item 3) CodeQL Security Analysis #155: Commit 03705b5 pushed by hyperpolymath
4h 1m 43s main
main
4h 1m 43s
README batch 2/4: 5 proofs/* subtree READMEs (audit item 3) CodeQL Security Analysis #154: Commit cb0f0b8 pushed by hyperpolymath
4h 0m 6s main
main
4h 0m 6s
README batch 1/4: add 5 subtree READMEs (audit item 3 first batch) CodeQL Security Analysis #153: Commit 9ecad26 pushed by hyperpolymath
4h 2m 18s main
main
4h 2m 18s
Doc cleanup: dead-code item is closed, archive Phase 4C Lean docs CodeQL Security Analysis #152: Commit dd35630 pushed by hyperpolymath
4h 6m 50s main
main
4h 6m 50s
STATE.a2ml: declare Coq admit honestly, add [dogfooding-status] CodeQL Security Analysis #151: Commit 503b54e pushed by hyperpolymath
4h 9m 47s main
main
4h 9m 47s
Revert 58 .expect("TODO: handle error") sites in ffi/rust/src/ (batch… CodeQL Security Analysis #150: Commit b5cc0cc pushed by hyperpolymath
4h 13m 26s main
main
4h 13m 26s
Delete impl/rust-ffi/ duplicate; ffi/rust/ is canonical CodeQL Security Analysis #149: Commit f43cfb5 pushed by hyperpolymath
4h 12m 45s main
main
4h 12m 45s
Revert 112 .expect("TODO: handle error") sites in parser.rs (batch 7/N) CodeQL Security Analysis #148: Commit d5f045d pushed by hyperpolymath
4h 16m 16s main
main
4h 16m 16s
Revert 66 .expect("TODO: handle error") sites in commands.rs (batch 6/N) CodeQL Security Analysis #147: Commit 1036832 pushed by hyperpolymath
4h 38m 29s main
main
4h 38m 29s
Revert 55 .expect("TODO: handle error") sites in arith.rs (batch 5/N) CodeQL Security Analysis #146: Commit c6b59b8 pushed by hyperpolymath
4h 41m 48s main
main
4h 41m 48s
Revert 35 .expect("TODO: handle error") sites in state.rs (batch 4/N) CodeQL Security Analysis #145: Commit 6d4c211 pushed by hyperpolymath
4h 40m 26s main
main
4h 40m 26s
Docs hygiene: anchor version, alkahest email, populate ROADMAP CodeQL Security Analysis #144: Commit fc3313b pushed by hyperpolymath
4h 42m 31s main
main
4h 42m 31s
Revert 79 .expect("TODO: handle error") sites across 3 files (batch 3/N) CodeQL Security Analysis #143: Commit f045ced pushed by hyperpolymath
4h 52m 35s main
main
4h 52m 35s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #142: Commit a48a1dc pushed by hyperpolymath
1h 54m 18s main
main
1h 54m 18s