NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

try using python 3.10

Browse Source
This commit is contained in:
Hadrien Croubois
2022-09-20 16:39:12 +02:00
parent 3c0d926908
commit d7c3cc758b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/formal-verifiation.yml vendored
View File

@ -26,7 +26,7 @@ jobs:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- name: Install python - name: Install python
uses: actions/setup-python@v2 uses: actions/setup-python@v2
with: { python-version: 3.6, cache: 'pip' } with: { python-version: 3.10, cache: 'pip' }
- name: Install java - name: Install java
uses: actions/setup-java@v1 uses: actions/setup-java@v1
with: { java-version: '11', java-package: jre } with: { java-version: '11', java-package: jre }