search

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

CI Improvements #45

Closed ArquintL closed 2 years ago

ArquintL commented 2 years ago

Improves CI by using master branch for dependencies on regular branches and a specified tag (i.e. the last Viper release) on branch release