Adapts to CI to keep nightly releases

viperproject / viperserver

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

Other

10 stars 17 forks source link

Adapts to CI to keep nightly releases #205

Closed ArquintL closed 7 months ago

ArquintL commented 8 months ago

Since Viper-IDE (cf. Viper-IDE PR #434)is built with respect to a fixed ViperServer release, we should not delete old nightly releases.

Additionally, this PR removes triggering of Viper-IDE's CI. Instead, we will create a periodic CI job to compare and fetch the latest ViperServer release.