Check PR title for commit convention

Workflow runs for Check PR title for commit convention

• perf: faster isProof major in reduceRec

  completed successfully:
  Check PR title for commit convention#52143:Pull request#16232editedbyarthur-adjedj
  arthur-adjedj:16108

  Nov 8, 20265s
  More actions for workflow run 52143

• perf: faster isProof major in reduceRec

  completed successfully:
  Check PR title for commit convention#52142:Pull request#16232synchronizebyarthur-adjedj
  arthur-adjedj:16108

  Nov 8, 20268s
  More actions for workflow run 52142

• feat: configure the step limit of the vcgen simp step

  completed successfully:
  Check PR title for commit convention#52141:Pull request#16346openedbysgraf812
  sgraf812:sg/vcgen-simp-max-steps

  Nov 8, 20266s
  More actions for workflow run 52141

• fix: include non-optional version in VersionedTextDocumentIdentifier json

  completed successfully:
  Check PR title for commit convention#52140:Pull request#16237synchronizebythorimur
  thorimur:lsp-optional-version-null

  Nov 8, 20267s
  More actions for workflow run 52140

• feat: use SHA-256 for Lake content hashes

  completed successfully:
  Check PR title for commit convention#52139:Pull request#16182editedbyKha
  lake-sha256

  Nov 8, 20269s
  More actions for workflow run 52139

• perf: check declarations in the kernel in parallel

  completed successfully:
  Check PR title for commit convention#52138:Pull request#16343openedbyKha
  parallel-kernel-checks

  Nov 8, 20267s
  More actions for workflow run 52138

• feat: make Std.WP.Assertion an opt-in class

  completed successfully:
  Check PR title for commit convention#52137:Pull request#16342openedbysgraf812
  sg/assertion-opt-in

  Nov 7, 20268s
  More actions for workflow run 52137

• Check PR title for commit convention

  completed successfully:
  Check PR title for commit convention#52136:Merge group checks requested
  Nov 7, 20266s
  More actions for workflow run 52136

• fix: classify negative literals in grind by their syntactic type

  completed successfully:
  Check PR title for commit convention#52135:Pull request#16341openedbyleodemoura
  grind-16286

  Nov 7, 20266s
  More actions for workflow run 52135

• fix: finish reports the thresholds of its own configuration

  completed successfully:
  Check PR title for commit convention#52134:Pull request#16340openedbysgraf812
  sgraf812:sg/grind-finish-threshold-config

  Nov 7, 20268s
  More actions for workflow run 52134

• Check PR title for commit convention

  completed successfully:
  Check PR title for commit convention#52133:Merge group checks requested
  Nov 7, 20267s
  More actions for workflow run 52133

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52132:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20265s
  More actions for workflow run 52132

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52131:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20268s
  More actions for workflow run 52131

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52130:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20267s
  More actions for workflow run 52130

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52129:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20266s
  More actions for workflow run 52129

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52128:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20267s
  More actions for workflow run 52128

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52127:Pull request#16339editedbyKha
  derive-repr-mutual-once

  Nov 7, 20267s
  More actions for workflow run 52127

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52126:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20265s
  More actions for workflow run 52126

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check PR title for commit convention#52125:Pull request#16339openedbyKha
  derive-repr-mutual-once

  Nov 7, 20266s
  More actions for workflow run 52125

• perf: intern parentDecl strings when decoding ModuleRefs from JSON

  completed successfully:
  Check PR title for commit convention#52124:Pull request#16338openedbykmehltretter82
  kmehltretter82:perf-intern-ilean-parentdecl

  Nov 7, 20267s
  More actions for workflow run 52124

• fix: add expected type hints to Sym rules modified by preprocessing

  completed successfully:
  Check PR title for commit convention#52123:Pull request#16140editedbykmehltretter82
  kmehltretter82:fix-sym-thm-expected-prop-hint

  Nov 7, 20267s
  More actions for workflow run 52123

• fix: add expected type hints to Sym rules modified by preprocessing

  completed successfully:
  Check PR title for commit convention#52122:Pull request#16140editedbykmehltretter82
  kmehltretter82:fix-sym-thm-expected-prop-hint

  Nov 7, 20266s
  More actions for workflow run 52122

• fix: add expected type hints to Sym rules modified by preprocessing

  completed successfully:
  Check PR title for commit convention#52121:Pull request#16140synchronizebykmehltretter82
  kmehltretter82:fix-sym-thm-expected-prop-hint

  Nov 7, 20267s
  More actions for workflow run 52121

• perf: make Except.bind and OptionT.bind abbreviations for lazy-delta reduction

  completed successfully:
  Check PR title for commit convention#52120:Pull request#16336editedbyarthur-adjedj
  arthur-adjedj:abbrev_bind

  Nov 7, 20267s
  More actions for workflow run 52120

• fix: language server hardening

  completed successfully:
  Check PR title for commit convention#52119:Pull request#16337editedbymhuisi
  mhuisi:push-nvlnrvxylnql

  Nov 7, 20269s
  More actions for workflow run 52119