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.

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

Update Submodules #466

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Update Submodules #466

wants to merge 1 commit into from

Conversation

viper-admin
Copy link
Member

@viper-admin viper-admin commented Jan 17, 2025 •
edited
Loading

  • Updates Gobra from be9d67d7e146cd198c361b1f8cdefa0ca833e72e to 41a583e6f22b11422ddad8a31f56b0312c4287ac.

@viper-admin viper-admin enabled auto-merge January 17, 2025 06:05
@viper-admin viper-admin force-pushed the auto-update-submodules branch 2 times, most recently from fdff9b0 to 7c71df4 Compare January 19, 2025 06:05
@ArquintL
Copy link
Member

Gobra PR #824 has to be merged first before GobraServer successfully compiles again

@ArquintL
Copy link
Member

PR #469 has to be merged first such that Viper plugins are executed before attempting to verify a program

@viper-admin viper-admin force-pushed the auto-update-submodules branch 2 times, most recently from 6543fc2 to 6f8c17e Compare January 23, 2025 06:05
@viper-admin viper-admin force-pushed the auto-update-submodules branch from 6f8c17e to a15a337 Compare January 23, 2025 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ArquintL ArquintL ArquintL approved these changes

Assignees
No one assigned
Labels
automated pr
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@viper-admin @ArquintL