pr-title

Workflow runs for pr-title

• chore(deps): update softprops/action-gh-release digest to 8a0cd65

  completed successfully:
  pr-title#8:Pull request#175editedbyrenovate[bot]Bot
  renovate/softprops-action-gh-release-digest

  Nov 11, 20267s
  More actions for workflow run 8

• chore(deps): update softprops/action-gh-release digest to 8a0cd65

  completed successfully:
  pr-title#7:Pull request#175openedbyrenovate[bot]Bot
  renovate/softprops-action-gh-release-digest

  Nov 5, 20269s
  More actions for workflow run 7

• feat(release): cut a release on every merge, with no release PR to approve

  completed successfully:
  pr-title#6:Pull request#174openedbyguilyx
  feat/zen-gates-g3lolk

  Nov 3, 20266s
  More actions for workflow run 6

• chore(deps): update googleapis/release-please-action action to v5

  completed successfully:
  pr-title#5:Pull request#173openedbyrenovate[bot]Bot
  renovate/googleapis-release-please-action-5.x

  Nov 3, 202610s
  More actions for workflow run 5

• fix(pddl): correct durative, PDDL 3 and metric semantics; refuse what cannot be honoured

  completed successfully:
  pr-title#4:Pull request#172openedbyguilyx
  feat/zen-gates-g3lolk

  Nov 3, 20261m 19s
  More actions for workflow run 4

• fix(learn): honest ranking metrics, seed-sensitive generators, distinct benchmark configs

  completed successfully:
  pr-title#3:Pull request#171openedbyguilyx
  feat/zen-gates-g3lolk

  Nov 3, 20267s
  More actions for workflow run 3

• chore(deps): pin dependencies

  completed successfully:
  pr-title#2:Pull request#170openedbyrenovate[bot]Bot
  renovate/pin-dependencies

  Nov 3, 202616s
  More actions for workflow run 2

• feat: automate semantic releases with release-please

  completed successfully:
  pr-title#1:Pull request#169openedbyguilyx
  feat/zen-gates-g3lolk

  Nov 3, 202610s
  More actions for workflow run 1