Skip to content

Actions: hyperpolymath/valence-shell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
209 workflow runs
209 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
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
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