mirror of
https://github.com/Z3Prover/z3
synced 2026-05-13 21:55:27 +00:00
Bump julia-actions/setup-julia from 2 to 3 (#9349)
Bumps [julia-actions/setup-julia](https://github.com/julia-actions/setup-julia) from 2 to 3. - [Release notes](https://github.com/julia-actions/setup-julia/releases) - [Commits](https://github.com/julia-actions/setup-julia/compare/v2...v3) --- updated-dependencies: - dependency-name: julia-actions/setup-julia dependency-version: '3' 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:
parent
19e95f40af
commit
7c32f65c37
1 changed files with 1 additions and 1 deletions
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
|
|
@ -315,7 +315,7 @@ jobs:
|
|||
|
||||
- name: Setup Julia (if needed)
|
||||
if: matrix.name == 'debugClang'
|
||||
uses: julia-actions/setup-julia@v2
|
||||
uses: julia-actions/setup-julia@v3
|
||||
with:
|
||||
version: '1'
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue