Skip to content

Commit

Permalink
Bump Python version to 3.11
Browse files Browse the repository at this point in the history
  • Loading branch information
cairoeth committed Aug 22, 2024
1 parent c8ede36 commit df3c280
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 6 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/formal-verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ on:
workflow_dispatch: {}

env:
PIP_VERSION: '3.10'
PIP_VERSION: '3.11'
JAVA_VERSION: '11'
SOLC_VERSION: '0.8.20'

Expand Down
6 changes: 1 addition & 5 deletions contracts/utils/Base64.sol
Original file line number Diff line number Diff line change
Expand Up @@ -69,11 +69,7 @@ library Base64 {
mstore(afterPtr, 0x00)

// Run over the input, 3 bytes at a time
for {

} lt(dataPtr, endPtr) {

} {
for {} lt(dataPtr, endPtr) {} {
// Advance 3 bytes
dataPtr := add(dataPtr, 3)
let input := mload(dataPtr)
Expand Down

0 comments on commit df3c280

Please sign in to comment.