mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 23:14:40 +00:00
Code Activity

Bump actions/checkout from 4.2.2 to 6.0.1 (#8178)

Browse source 
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.2.2 to 6.0.1.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v4.2.2...v6.0.1)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.1
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot] 2026-01-12 20:45:10 -08:00 • committed by Nikolaj Bjorner
parent e208e2f2c1
commit 29228ca475
17 changed files with 26 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

16
.github/workflows/nuget-build.yml vendored
View file

@ -20,7 +20,7 @@ jobs:
runs-on: windows-latest
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -44,7 +44,7 @@ jobs:
runs-on: windows-latest
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -68,7 +68,7 @@ jobs:
runs-on: windows-latest
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -92,7 +92,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -113,7 +113,7 @@ jobs:
runs-on: macos-13
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -134,7 +134,7 @@ jobs:
runs-on: macos-13
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -157,7 +157,7 @@ jobs:
runs-on: windows-latest
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6
@ -212,7 +212,7 @@ jobs:
runs-on: windows-latest
steps:
- name: Checkout code
uses: actions/checkout@v6
uses: actions/checkout@v6.0.1
- name: Setup Python
uses: actions/setup-python@v6