mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-25 01:31:18 +00:00
Code Activity

Merge pull request #8742 from Z3Prover/dependabot/github_actions/actions/setup-go-6

Browse source 
Bump actions/setup-go from 5 to 6
This commit is contained in:
Nikolaj Bjorner 2026-02-23 20:33:03 -08:00 • committed by GitHub
commit 441fbe25fa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View file

@ -309,7 +309,7 @@ jobs:
run: sudo apt-get update && sudo apt-get install -y ninja-build run: sudo apt-get update && sudo apt-get install -y ninja-build
- name: Setup Go - name: Setup Go
uses: actions/setup-go@v5 uses: actions/setup-go@v6
with: with:
go-version: '1.20' go-version: '1.20'

2
.github/workflows/docs.yml vendored
View file

@ -24,7 +24,7 @@ jobs:
uses: actions/checkout@v6.0.2 uses: actions/checkout@v6.0.2
- name: Setup Go - name: Setup Go
uses: actions/setup-go@v5 uses: actions/setup-go@v6
with: with:
go-version: '1.21' go-version: '1.21'