Security Policy

Workflow runs for Security Policy

• fix(licence): clear scaffold-placeholder leak (isolated; dirty repo)

  completed successfully:
  Security Policy#71:Commit3ce2399pushedbyhyperpolymath
  licence-debt/03-final-placeholder

  May 19, 202612h 15m 9s
  More actions for workflow run 71

• wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED]

  completed successfully:
  Security Policy#70:Commit1a7d7c2pushedbyhyperpolymath
  proof-debt/standards-133-coq-rescue-wip

  May 18, 202612h 33m 58s
  More actions for workflow run 70

• wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED]

  completed successfully:
  Security Policy#69:Commit65ca3f8pushedbyhyperpolymath
  proof-debt/standards-133-coq-rescue-wip

  May 18, 202612h 34m 49s
  More actions for workflow run 69

• fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build dr…

  completed successfully:
  Security Policy#68:Commitf12028apushedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 17, 202618h 38m 21s
  More actions for workflow run 68

• fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …

  completed successfully:
  Security Policy#67:Commit8b9fbbbpushedbyhyperpolymath
  main

  May 16, 20261h 28m 55s
  More actions for workflow run 67

• fix(ci): adopt canonical hypatia-scan.yml

  completed successfully:
  Security Policy#66:Pull request#16openedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 16, 20261h 26m 7s
  More actions for workflow run 66

• fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …

  completed successfully:
  Security Policy#65:Commite7bd9dcpushedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 16, 20261h 25m 2s
  More actions for workflow run 65

• chore(deps): bump the actions group with 3 updates (#15)

  completed successfully:
  Security Policy#64:Commit3ff5ceepushedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 16, 20261h 25m 1s
  More actions for workflow run 64

• chore(deps): bump the actions group with 3 updates (#15)

  completed successfully:
  Security Policy#63:Commit3ff5ceepushedbyhyperpolymath
  main

  May 16, 20261h 10m 17s
  More actions for workflow run 63

• chore(deps): bump the actions group with 3 updates

  completed successfully:
  Security Policy#62:Pull request#15openedbydependabot[bot]Bot
  dependabot/github_actions/actions-60c456e6ce

  May 15, 202613s
  More actions for workflow run 62

• chore(deps): bump the actions group with 3 updates

  completed successfully:
  Security Policy#61:Commit4b4e5fapushedbydependabot[bot]Bot
  dependabot/github_actions/actions-60c456e6ce

  May 15, 20267s
  More actions for workflow run 61

• fix(ci): rsr-antipattern.yml duplicate heredoc (#13)

  completed successfully:
  Security Policy#60:Commitaf75472pushedbyhyperpolymath
  main

  May 14, 20266h 57m 50s
  More actions for workflow run 60

• fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st…

  completed successfully:
  Security Policy#59:Commitab938aapushedbyhyperpolymath
  main

  May 14, 20264h 41m 8s
  More actions for workflow run 59

• fix(ci): move secret-scanner Cargo.toml gate from job-level if: to step-level

  completed successfully:
  Security Policy#58:Pull request#14openedbyhyperpolymath
  fix/secret-scanner-job-level-hashfiles

  May 14, 20264h 39m 46s
  More actions for workflow run 58

• fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st…

  completed successfully:
  Security Policy#57:Commitdd43b81pushedbyhyperpolymath
  fix/secret-scanner-job-level-hashfiles

  May 14, 20264h 40m 20s
  More actions for workflow run 57

• fix(ci): rsr-antipattern.yml duplicate heredoc

  completed successfully:
  Security Policy#56:Pull request#13synchronizebyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 20261h 46m 9s
  More actions for workflow run 56

• fix(ci): repair corrupted rsr-antipattern.yml on this branch

  completed successfully:
  Security Policy#55:Commitb98f612pushedbyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 20261h 51m 18s
  More actions for workflow run 55

• fix(ci): rsr-antipattern.yml duplicate heredoc

  completed successfully:
  Security Policy#54:Pull request#13openedbyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 202631m 29s
  More actions for workflow run 54

• fix(ci): rsr-antipattern.yml duplicate heredoc

  completed successfully:
  Security Policy#53:Commitec57687pushedbyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 202629m 10s
  More actions for workflow run 53

• ci: bump actions/upload-artifact SHA to current v4 (#12)

  completed successfully:
  Security Policy#52:Commitdcaa5ffpushedbyhyperpolymath
  main

  May 12, 202612h 39m 20s
  More actions for workflow run 52

• ci: bump actions/upload-artifact SHA to current v4

  completed successfully:
  Security Policy#51:Pull request#12openedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 12, 202612h 38m 50s
  More actions for workflow run 51

• ci: bump actions/upload-artifact SHA to current v4

  completed successfully:
  Security Policy#50:Commit58bb1b0pushedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 12, 202612h 42m 56s
  More actions for workflow run 50

• ci(secret-scanner): drop duplicate --fail from trufflehog extra_args …

  completed successfully:
  Security Policy#49:Commitf42ae54pushedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 12, 202612h 36m 49s
  More actions for workflow run 49

• ci(secret-scanner): drop duplicate --fail from trufflehog extra_args …

  completed successfully:
  Security Policy#48:Commitf42ae54pushedbyhyperpolymath
  main

  May 12, 20265h 29m 23s
  More actions for workflow run 48

• ci(secret-scanner): drop duplicate --fail from trufflehog extra_args

  completed successfully:
  Security Policy#47:Pull request#11openedbyhyperpolymath
  ci/trufflehog-drop-duplicate-fail

  May 12, 20265h 27m 27s
  More actions for workflow run 47