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.

Sign up for GitHub

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

Jump to bottom

Addition to Certora Review post PR#332 - facilitatiors' permission ch… #338

Merged

miguelmtzinf merged 1 commit into main from certora/verify-aave-gho

May 23, 2023

Contributor

miguelmtzinf commented May 23, 2023

Merging to main #337


          Addition to Certora Review post PR#332 - facilitatiors' permission ch…

9402ef5

…ecks + report update (#337)

miguelmtzinf requested review from foodaka and The-3D as code owners

May 23, 2023 06:40

height bot commented May 23, 2023

Link Height tasks by mentioning a task ID in the pull request title or commit messages, or description and comments with the keyword link (e.g. "Link T-123").

💡Tip: You can also use "Close T-X" to automatically close a task when the pull request is merged.

foodaka approved these changes

View reviewed changes

miguelmtzinf merged commit 5e40f03 into main

miguelmtzinf deleted the certora/verify-aave-gho branch

May 23, 2023 08:22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet