CI

Workflow runs for CI

• Tidy the bench scripts and drop references to an unpublished paper

  completed successfully:
  CI#11:Commitf62c1c7pushedbyore-codes
  master

  Oct 25, 20261m 48s
  More actions for workflow run 11

• Use uv 0.13.5 in the Docker image

  completed successfully:
  CI#10:Commit7b6b8b8pushedbyore-codes
  master

  Oct 24, 20261m 30s
  More actions for workflow run 10

• Explain how the solver works in docs/solver.md

  completed successfully:
  CI#9:Commit2767e7dpushedbyore-codes
  master

  Oct 24, 20261m 29s
  More actions for workflow run 9

• Add a PyPI badge and CONTRIBUTING.md, and tidy the README

  completed successfully:
  CI#8:Commit7732453pushedbyore-codes
  master

  Oct 24, 20261m 56s
  More actions for workflow run 8

• Remove the release notes from the README

  completed successfully:
  CI#7:Commitbec6a1bpushedbyore-codes
  v0.1.0

  Oct 24, 20261m 49s
  More actions for workflow run 7

• Remove the release notes from the README

  completed successfully:
  CI#6:Commitbec6a1bpushedbyore-codes
  master

  Oct 24, 20261m 50s
  More actions for workflow run 6

• Wait for the CLI search on an Event so Ctrl-C works on Python 3.10

  completed successfully:
  CI#5:Commit647a46fpushedbyore-codes
  master

  Oct 24, 20261m 56s
  More actions for workflow run 5

• Prepare the PyPI release and add a before/after to the README

  failed:
  CI#4:Commit9daae17pushedbyore-codes
  master

  Oct 24, 20261m 56s
  More actions for workflow run 4

• Export to draw.io, Excalidraw and Mermaid; read dbdiagram DBML

  completed successfully:
  CI#3:Commitee581a5pushedbyore-codes
  master

  Oct 24, 20261m 40s
  More actions for workflow run 3

• Limit concurrent solves, time budget and threads in the web server

  completed successfully:
  CI#2:Commitcc934bapushedbyore-codes
  master

  Oct 24, 20261m 11s
  More actions for workflow run 2

• Add a Dockerfile and Railway config

  completed successfully:
  CI#1:Commit82c16b3pushedbyore-codes
  master

  Oct 24, 20261m 51s
  More actions for workflow run 1