Repository navigation

DO NOT MERGE: prove python-pins goes red - #11

Closed

aaronelliotross wants to merge 2 commits into

mainfrom

python-pins-redcase

Closed

DO NOT MERGE: prove python-pins goes red#11
aaronelliotross wants to merge 2 commits into
mainfrom
python-pins-redcase

Commits on Aug 27, 2026
- python: declare role = "library" and gate on ci-workflows python-pins
  aaronelliotross
  committed
  2526132
- TEMPORARY: prove the gate goes red on a disagreeing pin
  aaronelliotross
  committed
  eba2d24