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

Update Submodules #466

Merged
merged 2 commits into from
Jan 26, 2025
Merged

Update Submodules #466

merged 2 commits into from
Jan 26, 2025

Conversation

viper-admin
Copy link
Member

@viper-admin viper-admin commented Jan 17, 2025

  • Updates Gobra from be9d67d7e146cd198c361b1f8cdefa0ca833e72e to 7bdc4fd9bc522c9b0523d1b5644f0fd0b513faa8.

@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 3 times, most recently from 6f8c17e to a15a337 Compare January 23, 2025 10:08
@viper-admin viper-admin force-pushed the auto-update-submodules branch from a15a337 to a954f42 Compare January 25, 2025 06:04
@viper-admin viper-admin force-pushed the auto-update-submodules branch from a954f42 to 83de702 Compare January 26, 2025 06:05
@ArquintL ArquintL disabled auto-merge January 26, 2025 20:30
@ArquintL ArquintL merged commit e71fa8c into master Jan 26, 2025
21 checks passed
@ArquintL ArquintL deleted the auto-update-submodules branch January 26, 2025 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants