utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
51 stars 24 forks source link

Create an docker image based on ubuntu as well #1182

Closed sakehl closed 3 months ago

pieter-bos commented 3 months ago

I've just made ubuntu the default base. I think this is more convenient for anyone needing to build an artifact in the future, and it's not worth it to fiddle with alpine compatibility issues for the size decrease. See this commit: https://github.com/utwente-fmt/vercors/commit/1c19477f88d4f266234ca40f5770671fcb074a2d