update to Dune v2.5.1
Dune v2.5.1 has been released. An update is due. No issues expected.
To Do:
- update Docker image
Edit:
- remove
dune-pythonand use Python functionality ofdune-commoninstead
Dune v2.5.1 has been released. An update is due. No issues expected.
To Do:
Edit:
dune-python and use Python functionality of dune-common instead