Skip to content

Actions: hyperpolymath/valence-shell

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
444 workflow runs
444 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) Hypatia Security Scan #444: Commit 1ead6bf pushed by hyperpolymath
34m 53s main
main
34m 53s
fix(ci): estate-wide foundational remediation Hypatia Security Scan #443: Pull request #171 opened by hyperpolymath
34m 21s fix-ci-estate
fix-ci-estate
34m 21s
Sync local commits to main (#170) Hypatia Security Scan #442: Commit 2e1a4ce pushed by hyperpolymath
1h 28m 12s main
main
1h 28m 12s
Sync local commits to main Hypatia Security Scan #441: Pull request #170 opened by hyperpolymath
1h 27m 3s sync-local-updates-1784832856
sync-local-updates-1784832856
1h 27m 3s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Hypatia Security Scan #440: Commit 3621126 pushed by hyperpolymath
2h 41m 18s main
main
2h 41m 18s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #439: Pull request #169 opened by hyperpolymath
1h 52m 9s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 52m 9s
fix(ci): drop the retired inline trufflehog job (#168) Hypatia Security Scan #438: Commit 7f5c783 pushed by hyperpolymath
4m 35s main
main
4m 35s
fix(ci): drop the retired inline trufflehog job Hypatia Security Scan #437: Pull request #168 synchronize by hyperpolymath
3m 15s fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
3m 15s
security: re-pin secret scanner onto the real gitleaks gate (#167) Hypatia Security Scan #436: Commit b955d2e pushed by hyperpolymath
42m 22s main
main
42m 22s
fix(ci): drop the retired inline trufflehog job Hypatia Security Scan #435: Pull request #168 opened by hyperpolymath
44m 1s fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
44m 1s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #434: Pull request #167 opened by hyperpolymath
34m 55s security/real-secret-gate
security/real-secret-gate
34m 55s
chore(deps): bump the actions group with 3 updates (#166) Hypatia Security Scan #433: Commit f1e7b94 pushed by hyperpolymath
58s main
main
58s
chore(deps): bump the actions group with 3 updates Hypatia Security Scan #432: Pull request #166 opened by dependabot Bot
56s dependabot/github_actions/actions-3d2ef569ae
dependabot/github_actions/actions-3d2ef569ae
56s
Hypatia Security Scan Hypatia Security Scan #431: Scheduled
1m 2s main
main
1m 2s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Hypatia Security Scan #430: Commit 6bae89b pushed by hyperpolymath
1m 11s main
main
1m 11s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Hypatia Security Scan #429: Pull request #165 synchronize by hyperpolymath
56s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
56s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Hypatia Security Scan #428: Pull request #165 opened by hyperpolymath
59s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
59s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… Hypatia Security Scan #427: Commit 15c082f pushed by hyperpolymath
1m 4s main
main
1m 4s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher Hypatia Security Scan #426: Pull request #164 synchronize by hyperpolymath
1m 15s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 15s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher Hypatia Security Scan #425: Pull request #164 opened by hyperpolymath
1m 1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 1s
chore(deps): bump the actions group with 7 updates (#163) Hypatia Security Scan #424: Commit dbab186 pushed by hyperpolymath
1m 0s main
main
1m 0s
chore(deps): bump the actions group with 7 updates Hypatia Security Scan #423: Pull request #163 opened by dependabot Bot
55s dependabot/github_actions/actions-d656973376
dependabot/github_actions/actions-d656973376
55s
Hypatia Security Scan Hypatia Security Scan #422: Scheduled
1m 6s main
main
1m 6s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) Hypatia Security Scan #421: Commit 32f2049 pushed by hyperpolymath
1m 0s main
main
1m 0s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail Hypatia Security Scan #420: Pull request #161 opened by hyperpolymath
1m 9s ci/echidna-lean-via-elan
ci/echidna-lean-via-elan
1m 9s