diff --git a/.github/workflows/build-z3-cache.yml b/.github/workflows/build-z3-cache.yml index 74b91750a8..6c15592fca 100644 --- a/.github/workflows/build-z3-cache.yml +++ b/.github/workflows/build-z3-cache.yml @@ -32,7 +32,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2d17f821ec..38cb4d87cc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,7 +41,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -329,7 +329,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -419,7 +419,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -468,7 +468,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -509,7 +509,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -529,7 +529,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' diff --git a/.github/workflows/memory-safety.yml b/.github/workflows/memory-safety.yml index 6c62a93d2d..2e3e959c22 100644 --- a/.github/workflows/memory-safety.yml +++ b/.github/workflows/memory-safety.yml @@ -34,7 +34,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -124,7 +124,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' diff --git a/.github/workflows/nightly-validation.yml b/.github/workflows/nightly-validation.yml index fe96af7c57..dc33ffd346 100644 --- a/.github/workflows/nightly-validation.yml +++ b/.github/workflows/nightly-validation.yml @@ -434,7 +434,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -473,7 +473,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -513,7 +513,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -556,7 +556,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -585,7 +585,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -614,7 +614,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -643,7 +643,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -675,7 +675,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -838,7 +838,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index b58b1b8e34..b2b5d0e30f 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -44,7 +44,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -82,7 +82,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -240,7 +240,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -269,7 +269,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -304,7 +304,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -500,7 +500,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -527,7 +527,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -554,7 +554,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -585,7 +585,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -660,7 +660,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -705,7 +705,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 32d34f8aa7..a10100d981 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -41,7 +41,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -85,7 +85,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -246,7 +246,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -275,7 +275,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -310,7 +310,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -506,7 +506,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -533,7 +533,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -560,7 +560,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -591,7 +591,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -666,7 +666,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x' @@ -711,7 +711,7 @@ jobs: uses: actions/checkout@v7.0.0 - name: Setup Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v7 with: python-version: '3.x'