Skip to content

Conversation

@edg-l
Copy link
Collaborator

@edg-l edg-l commented Oct 29, 2024

Depends on #875
Fixes #883

Checklist

  • Linked to Github Issue
  • Unit tests added
  • Integration tests added.
  • This change requires new documentation.
    • Documentation has been added/updated.

Sorry, something went wrong.

@github-actions
Copy link

github-actions bot commented Oct 29, 2024

✅ Code is now correctly formatted.

@azteca1998 azteca1998 marked this pull request as ready for review November 14, 2024 17:26
Copy link
Contributor

@FrancoGiachetta FrancoGiachetta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@pefontana pefontana added this pull request to the merge queue Nov 15, 2024
Merged via the queue into main with commit f1554de Nov 15, 2024
30 checks passed
@pefontana pefontana deleted the gas_u64 branch November 15, 2024 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Change gas_cost variable to u64

7 participants