lint-commits

Workflow runs for lint-commits

• fix(ci): recover publication from verified release artifacts

  completed successfully:
  lint-commits#149:Commita24918fpushedbynichinichisou0609
  main

  Oct 8, 202617s
  More actions for workflow run 149

• fix(ci): recover publication from verified release artifacts

  completed successfully:
  lint-commits#148:Pull request#46synchronizebynichinichisou0609
  codex/recover-release-010

  Oct 8, 202617s
  More actions for workflow run 148

• fix(ci): recover publication from verified release artifacts

  completed successfully:
  lint-commits#147:Pull request#46synchronizebynichinichisou0609
  codex/recover-release-010

  Oct 8, 202616s
  More actions for workflow run 147

• fix(ci): recover publication from verified release artifacts

  completed successfully:
  lint-commits#146:Pull request#46openedbynichinichisou0609
  codex/recover-release-010

  Oct 8, 202635s
  More actions for workflow run 146

• feat!: port JP7 business rules and prepare 0.1.0

  completed successfully:
  lint-commits#145:Commit627dd0epushedbynichinichisou0609
  main

  Oct 8, 202617s
  More actions for workflow run 145

• feat!: port JP7 game rules and prepare 0.1.0

  completed successfully:
  lint-commits#144:Pull request#45synchronizebynichinichisou0609
  feat/jp7-rules

  Oct 8, 202616s
  More actions for workflow run 144

• feat!: port JP7 game rules and prepare 0.1.0

  completed successfully:
  lint-commits#143:Pull request#45synchronizebynichinichisou0609
  feat/jp7-rules

  Oct 8, 202637s
  More actions for workflow run 143

• feat!: port JP7 game rules and prepare 0.1.0

  completed successfully:
  lint-commits#142:Pull request#45synchronizebynichinichisou0609
  feat/jp7-rules

  Oct 2, 202615s
  More actions for workflow run 142

• feat!: port JP7 game rules and prepare 0.1.0

  failed:
  lint-commits#141:Pull request#45openedbynichinichisou0609
  feat/jp7-rules

  Oct 2, 202616s
  More actions for workflow run 141

• test(formal): add checked Lean core and pruning lemmas

  completed successfully:
  lint-commits#140:Pull request#44synchronizebynichinichisou0609
  formal/lean-core-20260929

  Sep 29, 202617s
  More actions for workflow run 140

• test(formal): add checked Lean core and pruning lemmas

  completed successfully:
  lint-commits#139:Pull request#44synchronizebynichinichisou0609
  formal/lean-core-20260929

  Sep 29, 202614s
  More actions for workflow run 139

• test(formal): add checked Lean core and pruning lemmas

  failed:
  lint-commits#138:Pull request#44openedbynichinichisou0609
  formal/lean-core-20260929

  Sep 29, 202616s
  More actions for workflow run 138

• fix(search): close proof-audit counterexamples and certify pruning ar…

  failed:
  lint-commits#137:Commit5c6dff7pushedbynichinichisou0609
  main

  Sep 26, 202618s
  More actions for workflow run 137

• fix(search): close proof-audit counterexamples and certify pruning arithmetic

  completed successfully:
  lint-commits#136:Pull request#43synchronizebynichinichisou0609
  fix/proof-audit-20260926

  Sep 26, 202623s
  More actions for workflow run 136

• fix(search): close proof-audit counterexamples and certify pruning arithmetic

  completed successfully:
  lint-commits#135:Pull request#43synchronizebynichinichisou0609
  fix/proof-audit-20260926

  Sep 26, 202612s
  More actions for workflow run 135

• fix(search): close proof-audit counterexamples and certify pruning arithmetic

  failed:
  lint-commits#134:Pull request#43openedbynichinichisou0609
  fix/proof-audit-20260926

  Sep 26, 202617s
  More actions for workflow run 134

• perf(search): test the no-event dense tail before entering a node

  completed successfully:
  lint-commits#133:Commit165ff63pushedbynichinichisou0609
  main

  Sep 25, 202617s
  More actions for workflow run 133

• perf(search): bound the chosen cards' skills by their composition at …

  completed successfully:
  lint-commits#132:Commit3e7d6f8pushedbynichinichisou0609
  main

  Sep 25, 202615s
  More actions for workflow run 132

• perf(final-chapter): check card-level nodes with composition-aware sk…

  completed successfully:
  lint-commits#131:Commit0f496f0pushedbynichinichisou0609
  main

  Sep 25, 202614s
  More actions for workflow run 131

• perf(final-chapter): jump over last groups whose weight fails the log…

  completed successfully:
  lint-commits#130:Commitb684f87pushedbynichinichisou0609
  main

  Sep 25, 202617s
  More actions for workflow run 130

• perf(final-chapter): read the objective relaxation without building s…

  completed successfully:
  lint-commits#129:Commitfb3204apushedbynichinichisou0609
  main

  Sep 25, 202624s
  More actions for workflow run 129

• perf(search): skip composition regimes that a log-linear bound rules out

  completed successfully:
  lint-commits#128:Commit13f2841pushedbynichinichisou0609
  main

  Sep 25, 202654s
  More actions for workflow run 128

• perf(final-chapter): check complete decks with composition-aware skills

  completed successfully:
  lint-commits#127:Commit3bc3e54pushedbynichinichisou0609
  main

  Sep 25, 202616s
  More actions for workflow run 127

• perf(search): skip event-scan tests that another test already covers

  completed successfully:
  lint-commits#126:Commit329cc3bpushedbynichinichisou0609
  main

  Sep 25, 202618s
  More actions for workflow run 126

• perf(final-chapter): skip an attribute in the last member slot once i…

  completed successfully:
  lint-commits#125:Commitdf98905pushedbynichinichisou0609
  main

  Sep 25, 202619s
  More actions for workflow run 125