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
CodeQL Security Analysis CodeQL Security Analysis #91: Scheduled
7s main
main
7s
chore: update dependencies for security CodeQL Security Analysis #90: Commit bc4797b pushed by hyperpolymath
29m 11s main
main
29m 11s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #89: Commit cd2678b pushed by hyperpolymath
47m 29s main
main
47m 29s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #88: Commit 6341596 pushed by hyperpolymath
2h 9m 59s main
main
2h 9m 59s
chore: add agent_instructions methodology layer CodeQL Security Analysis #87: Commit da107fa pushed by hyperpolymath
1h 41m 21s main
main
1h 41m 21s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #86: Commit cb48f00 pushed by hyperpolymath
1h 34m 57s main
main
1h 34m 57s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … CodeQL Security Analysis #85: Commit 6300f6f pushed by hyperpolymath
35m 4s main
main
35m 4s
chore(deps): bump the actions group with 3 updates CodeQL Security Analysis #84: Commit 1d5e2f0 pushed by hyperpolymath
6s main
main
6s
fix(proofs): resolve Lean4 sorry in RMOOperations CodeQL Security Analysis #83: Commit a608cf4 pushed by hyperpolymath
36s main
main
36s
chore(deps): bump the actions group with 3 updates CodeQL Security Analysis #82: Pull request #10 opened by dependabot Bot
6s dependabot/github_actions/actions-c57fc16b77
dependabot/github_actions/actions-c57fc16b77
6s
CodeQL Security Analysis CodeQL Security Analysis #81: Scheduled
5s main
main
5s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #80: Commit 375bc31 pushed by hyperpolymath
33m 10s main
main
33m 10s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #79: Commit 6d3abe9 pushed by hyperpolymath
16m 10s main
main
16m 10s
Add arXiv-style paper: Formally Verified Reversible Shell CodeQL Security Analysis #78: Commit 524f854 pushed by hyperpolymath
26s main
main
26s
chore(ci): maximize ci/cd values via dependabot and permissions CodeQL Security Analysis #77: Commit 48e7b60 pushed by hyperpolymath
2m 33s main
main
2m 33s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #76: Pull request #9 opened by hyperpolymath
37m 58s chore/cicd-optimizations
chore/cicd-optimizations
37m 58s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #75: Commit e9d4279 pushed by hyperpolymath
1h 53m 53s main
main
1h 53m 53s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #74: Commit a1babdc pushed by hyperpolymath
52m 39s main
main
52m 39s
chore: RSR sync and mass repository update CodeQL Security Analysis #73: Commit 2c98ef4 pushed by hyperpolymath
51m 41s main
main
51m 41s
feat: add CLADE.a2ml — clade taxonomy declaration CodeQL Security Analysis #72: Commit 7fb4593 pushed by hyperpolymath
57m 47s main
main
57m 47s
migrate: .scm → .a2ml state files in .machine_readable/ CodeQL Security Analysis #71: Commit d3bf91c pushed by hyperpolymath
7h 26m 43s main
main
7h 26m 43s
fix: correct email jonathan.jewell → j.d.a.jewell CodeQL Security Analysis #70: Commit 87f96cc pushed by hyperpolymath
6h 23m 35s main
main
6h 23m 35s
fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement CodeQL Security Analysis #69: Commit 8bd767d pushed by hyperpolymath
5h 14m 32s main
main
5h 14m 32s
fix: update dependencies to resolve Dependabot alerts CodeQL Security Analysis #68: Commit 66fd0f4 pushed by hyperpolymath
4h 8m 0s main
main
4h 8m 0s
fix: SPDX headers (AGPL→PMPL), email, author name CodeQL Security Analysis #67: Commit cfbe790 pushed by hyperpolymath
3h 24m 25s main
main
3h 24m 25s
ProTip! You can narrow down the results and go further in time using created:<2026-03-16 or the other filters available.