Code

Dev#2

Code

Merged

RexWzh merged 14 commits intomainLean-zh/PyPantograph:mainfrom devLean-zh/PyPantograph:devCopy head branch name to clipboardJan 13, 2025

+2,364-1,996

Commits

Commits on Dec 23, 2024

• add pytest dependency

  RexWzh

  committed
  ea2b885

  Copy full SHA for ea2b885

• add test code for minif2f

  RexWzh

  committed
  4fbb6ad

  Copy full SHA for 4fbb6ad

• update minif2f from purewhite

  RexWzh

  committed
  22b215a

  Copy full SHA for 22b215a

• add github action

  RexWzh

  committed
  02799cf

  Copy full SHA for 02799cf

• migrate tests from server.py

  RexWzh

  committed
  1dc7a96

  Copy full SHA for 1dc7a96

• add three error tests

  RexWzh

  committed
  366f9ec

  Copy full SHA for 366f9ec

• fix minif2f statements

  RexWzh

  committed
  e934e87

  Copy full SHA for e934e87

• add pytest marks

  RexWzh

  committed
  70e3a72

  Copy full SHA for 70e3a72

Commits on Jan 12, 2025

• minif2f: fix & check

  RexWzh

  committed
  52aae67

  Copy full SHA for 52aae67

• Merge remote-tracking branch 'origin/main' into dev

  RexWzh

  committed
  4788a78

  Copy full SHA for 4788a78

• update tests

  RexWzh

  committed
  268ee54

  Copy full SHA for 268ee54

• ignore poetry.lock

  RexWzh

  committed
  affc15a

  Copy full SHA for affc15a

Commits on Jan 13, 2025

• fix json dumps in server.py

  RexWzh

  authored
  ee9e70b

  Copy full SHA for ee9e70b

• add pylock

  RexWzh

  committed
  c481532

  Copy full SHA for c481532