Update Submodules - Githubissues

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

Other

10 stars 17 forks source link

Closed viper-admin closed 2 years ago

viper-admin commented 2 years ago

Updates Silicon from f265c64d0f3f768f36733b38b40b118533dacd2a to 4886a544cac4bbca839e2e96e8d16aaa64dac612.
Updates Carbon from 4c1f8c1ebb8db26e924892264f40cd83027ed717 to 2c584ee6a45c688df4f9ee7c4cff7d14b184bd9a.

viper-admin commented 2 years ago

bors merge

bors[bot] commented 2 years ago

Build succeeded: