Estate Rules

Workflow runs for Estate Rules

• fix(proofs): stop claiming SPARK proofs that do not exist; make the p…

  completed successfully:
  Estate Rules#179:Commit2339059pushedbyhyperpolymath
  main

  Nov 10, 202615m 21s
  More actions for workflow run 179

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  Estate Rules#178:Pull request#74synchronizebyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 10, 202612m 35s
  More actions for workflow run 178

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#75)

  completed successfully:
  Estate Rules#177:Commitb015e98pushedbyhyperpolymath
  main

  Nov 10, 202612m 23s
  More actions for workflow run 177

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  Estate Rules#176:Pull request#75openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 202611m 41s
  More actions for workflow run 176

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  Estate Rules#175:Pull request#74synchronizebycoderabbitai[bot]Bot
  claude/lucid-hopper-wvkv5e

  Nov 9, 20265m 40s
  More actions for workflow run 175

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  Estate Rules#174:Pull request#74synchronizebyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 202638m 44s
  More actions for workflow run 174

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  Estate Rules#173:Pull request#74openedbyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 202637m 45s
  More actions for workflow run 173

• chore(deps): bump the actions group with 2 updates (#73)

  completed successfully:
  Estate Rules#172:Commit2246caapushedbyhyperpolymath
  main

  Nov 8, 20268s
  More actions for workflow run 172

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

  completed successfully:
  Estate Rules#171:Pull request#73openedbydependabot[bot]Bot
  dependabot/github_actions/actions-26b05f84a5

  Nov 8, 202611s
  More actions for workflow run 171

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.…

  completed successfully:
  Estate Rules#170:Commit213fe71pushedbyhyperpolymath
  main

  Nov 2, 202612s
  More actions for workflow run 170

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the actions group

  completed successfully:
  Estate Rules#169:Pull request#72openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Nov 1, 20267s
  More actions for workflow run 169

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the a…

  completed successfully:
  Estate Rules#168:Commit5aec56epushedbyhyperpolymath
  main

  Oct 25, 20268s
  More actions for workflow run 168

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the actions group

  completed successfully:
  Estate Rules#167:Pull request#71openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 25, 20268s
  More actions for workflow run 167

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  completed successfully:
  Estate Rules#166:Commit2200e6dpushedbyhyperpolymath
  main

  Oct 18, 20268s
  More actions for workflow run 166

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the actions group

  completed successfully:
  Estate Rules#165:Pull request#70openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 18, 20267s
  More actions for workflow run 165

• Estate Rules

  completed successfully:
  Estate Rules#164:byhyperpolymath
  main

  Oct 11, 20268s
  More actions for workflow run 164

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

  completed successfully:
  Estate Rules#163:Pull request#69openedbydependabot[bot]Bot
  dependabot/github_actions/actions-cde91ae882

  Oct 11, 20269s
  More actions for workflow run 163

• feat: land the contractiles tree vendored in reposystem (147 files, i…

  completed successfully:
  Estate Rules#162:Commita0b5619pushedbyhyperpolymath
  main

  Oct 9, 20268s
  More actions for workflow run 162

• feat: land the contractiles tree vendored in reposystem (147 files, incl. the contractile CLI)

  completed successfully:
  Estate Rules#161:Pull request#68openedbyhyperpolymath
  feat/land-vendored-contractiles

  Oct 9, 202610s
  More actions for workflow run 161

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no …

  completed successfully:
  Estate Rules#160:Commitd440161pushedbyhyperpolymath
  main

  Oct 4, 202618s
  More actions for workflow run 160

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no CLI exists; ratification requested)

  completed successfully:
  Estate Rules#159:Pull request#67openedbyhyperpolymath
  arena/01a103ff-contractiles

  Oct 4, 20267s
  More actions for workflow run 159

• docs: add Signed commits section to CONTRIBUTING (#66)

  completed successfully:
  Estate Rules#158:Commitc8ae464pushedbyhyperpolymath
  main

  Oct 1, 202625m 0s
  More actions for workflow run 158

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Estate Rules#157:Pull request#66openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202611m 55s
  More actions for workflow run 157

• chore(deps): bump github/codeql-action from 4.38.0 to 4.38.2 in the a…

  completed successfully:
  Estate Rules#156:Commit50f41adpushedbyhyperpolymath
  main

  Sep 27, 202610s
  More actions for workflow run 156

• chore(deps): bump github/codeql-action from 4.38.0 to 4.38.2 in the actions group

  completed successfully:
  Estate Rules#155:Pull request#65openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Sep 27, 20267s
  More actions for workflow run 155