Update pragma to 0.8.20 (#4489)
Co-authored-by: Francisco Giordano <fg@frang.io> Co-authored-by: ernestognw <ernestognw@gmail.com>
This commit is contained in:
2
.github/workflows/formal-verification.yml
vendored
2
.github/workflows/formal-verification.yml
vendored
@ -12,7 +12,7 @@ on:
|
||||
env:
|
||||
PIP_VERSION: '3.10'
|
||||
JAVA_VERSION: '11'
|
||||
SOLC_VERSION: '0.8.19'
|
||||
SOLC_VERSION: '0.8.20'
|
||||
|
||||
concurrency: ${{ github.workflow }}-${{ github.ref }}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user