AtHeartEngineer/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-07 22:43:53 -05:00
Code Issues Packages Projects Releases Wiki Activity

ci: update python version to fix bug in certora

Browse Source
This commit is contained in:
r4bbit
2025-07-28 15:38:45 +02:00
parent e7be99c27a
commit 8b8474e5b5
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/ci.yml vendored
View File

@@ -133,9 +133,8 @@ jobs:
submodules: recursive
- name: Install Python
uses: actions/setup-python@v2
with: { python-version: 3.9 }
uses: actions/setup-python@v4
with: { python-version: "3.10" }
- name: Install Java
uses: actions/setup-java@v1
with: { java-version: "11", java-package: jre }