Code

Embrace uv#422

Code

Merged

0xkarmacoma merged 8 commits intomaina16z/halmos:mainfrom embrace-uva16z/halmos:embrace-uvCopy head branch name to clipboardDec 4, 2024

+141-105

Commits

Commits on Dec 3, 2024

• docs: recommend installation via uv for most users

  0xkarmacoma

  committed
  86c2553

  Copy full SHA for 86c2553

Commits on Dec 4, 2024

• fully embrace uv

  0xkarmacoma

  committed
  67fb3db

  Copy full SHA for 67fb3db

• fix packages/halmos/Dockerfile

  0xkarmacoma

  committed
  b9cf162

  Copy full SHA for b9cf162

• really fix packages/halmos/Dockerfile

  0xkarmacoma

  committed
  6c3af34

  Copy full SHA for 6c3af34

• Merge branch 'main' into embrace-uv

  0xkarmacoma

  authored
  c1368ef

  Copy full SHA for c1368ef

• uv sync (for rich)

  0xkarmacoma

  committed
  756e6ec

  Copy full SHA for 756e6ec

• remove uv.lock from source control

  0xkarmacoma

  committed
  8acf846

  Copy full SHA for 8acf846

• remove temporary uv update

  0xkarmacoma

  committed
  906a059

  Copy full SHA for 906a059