Repository navigation

Release dispatches also go to the library index - #74

Merged

bdbarnett merged 1 commit into

mainfrom

lib-index-dispatch

Oct 21, 2026

Merged

Release dispatches also go to the library index#74
bdbarnett merged 1 commit into
mainfrom
lib-index-dispatch

Commits on Oct 21, 2026
- Release dispatches also go to the library index (PyDevices/lib), pre-releases included; the MIP index still takes finals only
  bdbarnett
  committed
  c781711