range has only one src now [pr] (#10100)

* range has only one op now

* fix z3 checker

* ci fix

* needs shell

* try pip ensure update

* that ensurepip is useless

* upgrade pip before cache

* windows happy?
This commit is contained in:
George Hotz
2025-04-29 10:31:05 -04:00
committed by GitHub
parent 427471550a
commit c3ff308abb
14 changed files with 34 additions and 32 deletions

View File

@@ -44,6 +44,9 @@ runs:
uses: actions/setup-python@v5
with:
python-version: ${{ inputs.python-version }}
- name: Upgrade pip
shell: bash
run: python -m pip install --upgrade pip
# **** Caching packages ****
# TODO: key should include input.deps, but it can't since it can't contain commas