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
fix(ci): estate-wide foundational remediation (#171) CodeQL Security Analysis #366: Commit 1ead6bf pushed by hyperpolymath
34m 16s main
main
34m 16s
fix(ci): estate-wide foundational remediation CodeQL Security Analysis #365: Pull request #171 opened by hyperpolymath
35m 47s fix-ci-estate
fix-ci-estate
35m 47s
Sync local commits to main (#170) CodeQL Security Analysis #364: Commit 2e1a4ce pushed by hyperpolymath
1h 28m 16s main
main
1h 28m 16s
Sync local commits to main CodeQL Security Analysis #363: Pull request #170 opened by hyperpolymath
1h 28m 0s sync-local-updates-1784832856
sync-local-updates-1784832856
1h 28m 0s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… CodeQL Security Analysis #362: Commit 3621126 pushed by hyperpolymath
2h 41m 16s main
main
2h 41m 16s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #361: Pull request #169 opened by hyperpolymath
1h 51m 34s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 51m 34s
fix(ci): drop the retired inline trufflehog job (#168) CodeQL Security Analysis #360: Commit 7f5c783 pushed by hyperpolymath
4m 36s main
main
4m 36s
fix(ci): drop the retired inline trufflehog job CodeQL Security Analysis #359: Pull request #168 synchronize by hyperpolymath
3m 13s fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
3m 13s
security: re-pin secret scanner onto the real gitleaks gate (#167) CodeQL Security Analysis #358: Commit b955d2e pushed by hyperpolymath
42m 39s main
main
42m 39s
fix(ci): drop the retired inline trufflehog job CodeQL Security Analysis #357: Pull request #168 opened by hyperpolymath
44m 53s fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
44m 53s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #356: Pull request #167 opened by hyperpolymath
33m 22s security/real-secret-gate
security/real-secret-gate
33m 22s
CodeQL Security Analysis CodeQL Security Analysis #355: Scheduled
1m 8s main
main
1m 8s
chore(deps): bump the actions group with 3 updates (#166) CodeQL Security Analysis #354: Commit f1e7b94 pushed by hyperpolymath
59s main
main
59s
chore(deps): bump the actions group with 3 updates CodeQL Security Analysis #353: Pull request #166 opened by dependabot Bot
47s dependabot/github_actions/actions-3d2ef569ae
dependabot/github_actions/actions-3d2ef569ae
47s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… CodeQL Security Analysis #352: Commit 6bae89b pushed by hyperpolymath
1m 15s main
main
1m 15s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime CodeQL Security Analysis #351: Pull request #165 synchronize by hyperpolymath
52s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
52s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime CodeQL Security Analysis #350: Pull request #165 opened by hyperpolymath
57s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
57s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… CodeQL Security Analysis #349: Commit 15c082f pushed by hyperpolymath
1m 1s main
main
1m 1s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher CodeQL Security Analysis #348: Pull request #164 synchronize by hyperpolymath
57s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
57s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher CodeQL Security Analysis #347: Pull request #164 opened by hyperpolymath
51s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
51s
CodeQL Security Analysis CodeQL Security Analysis #346: Scheduled
1m 7s main
main
1m 7s
chore(deps): bump the actions group with 7 updates (#163) CodeQL Security Analysis #345: Commit dbab186 pushed by hyperpolymath
59s main
main
59s
chore(deps): bump the actions group with 7 updates CodeQL Security Analysis #344: Pull request #163 opened by dependabot Bot
51s dependabot/github_actions/actions-d656973376
dependabot/github_actions/actions-d656973376
51s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) CodeQL Security Analysis #343: Commit 32f2049 pushed by hyperpolymath
1m 10s main
main
1m 10s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail CodeQL Security Analysis #342: Pull request #161 opened by hyperpolymath
1m 3s ci/echidna-lean-via-elan
ci/echidna-lean-via-elan
1m 3s