Actions
Support #27
open
Make clear on DESERT website that master is not stable version
Start date:
10/21/2025
Due date:
% Done:
0%
Estimated time:
Description
we use master as unstable branch, whereas we consider stable the releases (i.e., tag). Make this clear on DESERT website.
Actions