Release-plz + Docker

Workflow runs for Release-plz + Docker

• chore(deps): bump pyo3 from 0.29.3 to 0.30.1 (#623)

  completed successfully:
  Release-plz + Docker#134:Commit6ec1e76pushedbyImkoMarijnissen
  main

  Oct 22, 20261m 39s
  More actions for workflow run 134

• chore(deps): bump escargot from 0.5.15 to 1.0.1 (#626)

  completed successfully:
  Release-plz + Docker#133:Commitb2fe2a9pushedbyImkoMarijnissen
  main

  Oct 22, 20263m 20s
  More actions for workflow run 133

• chore(deps): bump serde_json from 1.0.151 to 1.0.154 (#625)

  completed successfully:
  Release-plz + Docker#132:Commit0855996pushedbyImkoMarijnissen
  main

  Oct 22, 20262m 4s
  More actions for workflow run 132

• chore(deps): bump syn from 3.0.8 to 3.0.9 (#624)

  cancelled:
  Release-plz + Docker#131:Commitfafa621pushedbyImkoMarijnissen
  main

  Oct 22, 202630s
  More actions for workflow run 131

• chore(deps): bump pyo3-build-config from 0.29.3 to 0.30.1 (#622)

  completed successfully:
  Release-plz + Docker#130:Commit34e7dd0pushedbyImkoMarijnissen
  main

  Oct 22, 20261m 24s
  More actions for workflow run 130

• fix(pumpkin-propagators): Off-by-one error when checking between prof…

  completed successfully:
  Release-plz + Docker#129:Commit173c010pushedbyImkoMarijnissen
  main

  Oct 21, 20266m 8s
  More actions for workflow run 129

• fix(pumpkin-propagators): Remove the explanation cache from time-tabl…

  completed successfully:
  Release-plz + Docker#128:Commitf4b8df2pushedbyImkoMarijnissen
  main

  Oct 21, 20261m 43s
  More actions for workflow run 128

• fix(pumpkin-propagators): Time-table propagator incorrectly not recom…

  completed successfully:
  Release-plz + Docker#127:Commit9d12da0pushedbyImkoMarijnissen
  main

  Oct 21, 20261m 37s
  More actions for workflow run 127

• fix(pumpkin-proof-processor): Remove 0-weight terms in processor (#617)

  completed successfully:
  Release-plz + Docker#126:Commitd9ceef0pushedbyImkoMarijnissen
  main

  Oct 21, 20261m 48s
  More actions for workflow run 126

• feat(pumpkin-solver): Automatically generate .msc files (#616)

  completed successfully:
  Release-plz + Docker#125:Commit92d8d6dpushedbyImkoMarijnissen
  main

  Oct 21, 20261m 24s
  More actions for workflow run 125

• refactor(pumpkin-propagators): Unify the time-table test suite into a…

  completed successfully:
  Release-plz + Docker#124:Commit9b7fcc1pushedbyImkoMarijnissen
  main

  Oct 20, 20261m 42s
  More actions for workflow run 124

• chore(deps): bump cc from 1.6.0 to 1.8.0 (#614)

  completed successfully:
  Release-plz + Docker#123:Commit7ad6017pushedbyImkoMarijnissen
  main

  Oct 19, 20264m 17s
  More actions for workflow run 123

• chore(deps): bump syn from 3.0.6 to 3.0.8 (#613)

  completed successfully:
  Release-plz + Docker#122:Commitfad8d64pushedbyImkoMarijnissen
  main

  Oct 19, 20262m 25s
  More actions for workflow run 122

• fix(pumpkin-core): Watchers not properly set when `check-propagations…

  completed successfully:
  Release-plz + Docker#121:Commit9e1bd00pushedbyImkoMarijnissen
  main

  Oct 12, 20262m 36s
  More actions for workflow run 121

• chore(deps): bump signal-hook from 0.4.4 to 0.4.5 (#604)

  completed successfully:
  Release-plz + Docker#120:Commit73c45b0pushedbyImkoMarijnissen
  main

  Oct 8, 20264m 38s
  More actions for workflow run 120

• chore(deps): bump pyo3 from 0.29.2 to 0.29.3 (#603)

  completed successfully:
  Release-plz + Docker#119:Commitb258715pushedbyImkoMarijnissen
  main

  Oct 8, 20262m 32s
  More actions for workflow run 119

• chore(deps): bump cc from 1.5.1 to 1.6.0 (#602)

  completed successfully:
  Release-plz + Docker#118:Commit4763591pushedbyImkoMarijnissen
  main

  Oct 8, 20262m 30s
  More actions for workflow run 118

• refactor(pumpkin-conflict-resolvers): Make iterative minimisation inc…

  completed successfully:
  Release-plz + Docker#117:Commit08852d8pushedbyImkoMarijnissen
  main

  Oct 1, 20262m 42s
  More actions for workflow run 117

• feat(pumpkin-core): Improve memory usage of predicate notification sy…

  completed successfully:
  Release-plz + Docker#116:Commit3c817a0pushedbyImkoMarijnissen
  main

  Oct 1, 20262m 41s
  More actions for workflow run 116

• chore: Update release-plz to not always publish (#598)

  completed successfully:
  Release-plz + Docker#115:Commitacd8181pushedbyImkoMarijnissen
  main

  Oct 1, 20262m 31s
  More actions for workflow run 115

• chore: do not publish pumpkin-branching yet (#597)

  failed:
  Release-plz + Docker#114:Commitebcc4d8pushedbyImkoMarijnissen
  main

  Oct 1, 20262m 18s
  More actions for workflow run 114

• refactor(pumpkin-core): Extracting branchers as separate crate (#562)

  failed:
  Release-plz + Docker#113:Commit265dc5fpushedbyImkoMarijnissen
  main

  Oct 1, 20262m 37s
  More actions for workflow run 113

• chore(pumpkin-core): Do not store inference checker when it is not us…

  completed successfully:
  Release-plz + Docker#112:Commite2b155apushedbyImkoMarijnissen
  main

  Oct 1, 20263m 21s
  More actions for workflow run 112

• fix(pumpkin-core): Do not ignore reification literals in the proof (#…

  completed successfully:
  Release-plz + Docker#111:Commit00da921pushedbyImkoMarijnissen
  main

  Oct 1, 20262m 49s
  More actions for workflow run 111

• fix(pumpkin-core): Underflow in restoring to current decision level (…

  completed successfully:
  Release-plz + Docker#110:Commitf41d1b3pushedbyImkoMarijnissen
  main

  Oct 1, 20263m 47s
  More actions for workflow run 110