Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix: fetch missing access permission #851

Merged
merged 8 commits into from
Apr 12, 2023
Merged

Conversation

mitschabaude
Copy link
Member

@mitschabaude mitschabaude commented Apr 11, 2023

This adds the access permission which was accidentally not fetched. The previous behaviour was that permissions.access was undefined and got coerced to a None permission

@mitschabaude mitschabaude changed the base branch from main to fix/fetch-actions April 12, 2023 12:56
CHANGELOG.md Outdated
### Fixed

- Fix fetching the `access` permission on accounts https://github.com/o1-labs/snarkyjs/pull/851
- Fixes to `fetchActions` https://github.com/o1-labs/snarkyjs/pull/844 https://github.com/o1-labs/snarkyjs/pull/854 [@Comdex](https://github.com/Comdex)
Copy link
Member

Choose a reason for hiding this comment

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

the to here sounds wrong, not sure if that makes sense here 🤔

Copy link
Member Author

Choose a reason for hiding this comment

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

I meant multiple different fixes to the same function, but yeah I guess that's not clearly formulated

Copy link
Member

Choose a reason for hiding this comment

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

ahh now I understand!

Base automatically changed from fix/fetch-actions to main April 12, 2023 15:20
@mitschabaude mitschabaude merged commit 6ae0a68 into main Apr 12, 2023
@mitschabaude mitschabaude deleted the fix/fetch-access-permission branch April 12, 2023 16:25
@nicc nicc added product-eng For tracking our team's issues zkIgnite and removed zkIgnite labels Apr 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
product-eng For tracking our team's issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants