Skip to content

Actions: hyperpolymath/valence-shell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
416 workflow runs
416 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
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #141: Commit 1f95fa5 pushed by hyperpolymath
21m 8s main
main
21m 8s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #140: Commit a88a892 pushed by hyperpolymath
3m 8s main
main
3m 8s
docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest) CodeQL Security Analysis #139: Commit 8f2f785 pushed by hyperpolymath
6s main
main
6s
ci: wire hypatia-scan.yml to query own Dependabot alerts CodeQL Security Analysis #138: Commit 2fe61b6 pushed by hyperpolymath
1h 43m 45s main
main
1h 43m 45s
chore: estate-wide chore + stale-path sweep (2026-04-17) CodeQL Security Analysis #137: Commit 71d9139 pushed by hyperpolymath
1h 46m 48s main
main
1h 46m 48s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #136: Commit e46b4ff pushed by hyperpolymath
1h 21m 6s main
main
1h 21m 6s
feat(rust-cli): fix function control-flow and return propagation (#14) CodeQL Security Analysis #135: Commit 3459437 pushed by hyperpolymath
2m 41s main
main
2m 41s
Fix control structures and return statements in function bodies CodeQL Security Analysis #134: Pull request #14 opened by hyperpolymath
12s claude/advance-project-Y32IT
claude/advance-project-Y32IT
12s
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #133: Commit ab76e66 pushed by hyperpolymath
54m 41s main
main
54m 41s
Merge branch 'main' of github.com:hyperpolymath/valence-shell CodeQL Security Analysis #132: Commit e6ed57f pushed by hyperpolymath
8m 16s main
main
8m 16s
chore(deps): bump the cargo group across 2 directories with 1 update … CodeQL Security Analysis #131: Commit 072da2a pushed by hyperpolymath
7m 0s main
main
7m 0s
chore(deps): bump the cargo group across 2 directories with 1 update CodeQL Security Analysis #130: Pull request #13 opened by dependabot Bot
6s dependabot/cargo/ffi/rust/cargo-a27c0f659c
dependabot/cargo/ffi/rust/cargo-a27c0f659c
6s
chore(deps): bump rand from 0.8.5 to 0.9.3 in /ffi/rust in the cargo group across 1 directory CodeQL Security Analysis #129: Pull request #12 opened by dependabot Bot
8s dependabot/cargo/ffi/rust/cargo-3df31d4f53
dependabot/cargo/ffi/rust/cargo-3df31d4f53
8s
proof(coq): improve file_content_operations proof tactics CodeQL Security Analysis #128: Commit c785d33 pushed by hyperpolymath
1m 23s main
main
1m 23s
CodeQL Security Analysis CodeQL Security Analysis #127: Scheduled
6s main
main
6s
proof(coq): hook tactic improvements across file_ops, composition, pe… CodeQL Security Analysis #126: Commit fa11282 pushed by hyperpolymath
30s main
main
30s
docs(paper): update proof holes count 3→2; is_empty_dir_dec now proved CodeQL Security Analysis #125: Commit f8ee6ec pushed by hyperpolymath
31s main
main
31s
proof(coq): prove is_empty_dir_dec via Classical.classic — 0 Axioms r… CodeQL Security Analysis #124: Commit 6fd3f75 pushed by hyperpolymath
12s main
main
12s
fix(paper): qualify abstract claims for publication safety CodeQL Security Analysis #123: Commit f5dab96 pushed by hyperpolymath
1m 7s main
main
1m 7s
proof(coq): FunctionalExtensionality to posix_errors + rmo; Omega→Lia CodeQL Security Analysis #122: Commit 5a9ad8e pushed by hyperpolymath
5m 36s main
main
5m 36s
proof(coq): add FunctionalExtensionality import to remaining ops files CodeQL Security Analysis #121: Commit dc686de pushed by hyperpolymath
3m 47s main
main
3m 47s
proof(coq): add FunctionalExtensionality import to copy_move + symlin… CodeQL Security Analysis #120: Commit 69fd5e5 pushed by hyperpolymath
3m 4s main
main
3m 4s
proof(coq): add FunctionalExtensionality import to file_operations.v CodeQL Security Analysis #119: Commit d30a9fc pushed by hyperpolymath
2m 47s main
main
2m 47s
proof(coq): tighten sumbool tactic patterns in file_operations + syml… CodeQL Security Analysis #118: Commit 147b36e pushed by hyperpolymath
2m 35s main
main
2m 35s
docs: update PROOF_HOLES_AUDIT.md — items #1+#2 closed, summary updated CodeQL Security Analysis #117: Commit d9c5109 pushed by hyperpolymath
2m 26s main
main
2m 26s
ProTip! You can narrow down the results and go further in time using created:<2026-04-12 or the other filters available.