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 1 year ago

viper-admin commented 1 year ago

Updates Silicon from 7f2e6823cc24e86638609e40b24827e2c6676d00 to 14127d1b5625fc48a8593001f7accc883024aa04.
Updates Carbon from e07c8960748aa3e69b22bd327a4ebf572301bc8e to e8e65a0d6c1a94efb0d064f3157aba10328c7a69.

viper-admin commented 1 year ago

bors merge

ArquintL commented 1 year ago

I've reconfigured bors to have access to this repo too bors merge

bors[bot] commented 1 year ago

Build succeeded: