Code

Apply publint recommendations#2219

Code

Merged

dai-shi merged 4 commits intopmndrs:mainpmndrs/jotai:mainfrom dbritto-dev:hotfix-publintdbritto-dev/jotai:hotfix-publintCopy head branch name to clipboardNov 5, 2023

+8-4

Commits

Commits on Oct 28, 2023

• Apply publit recommendations

  dbritto-dev

  committed
  1fc3d04

  Copy full SHA for 1fc3d04

Commits on Oct 30, 2023

• Minor changes

  dbritto-dev

  committed
  62bd481

  Copy full SHA for 62bd481

• Fix publint warnings

  dbritto-dev

  committed
  3fd56d4

  Copy full SHA for 3fd56d4

Commits on Nov 2, 2023

• Merge branch 'main' into hotfix-publint

  dbritto-dev

  authored
  edfcd3b

  Copy full SHA for edfcd3b