Remove root dune-workspace file entirely
It is not currently used. I had plan to use it in local workflow and or in the
CI but its presence triggers some issues with dune [3.17.2], even when changing
the lang to [3.17], namely:
```sh
File "dune-workspace", lines 6-8, characters 0-88:
6 | (repository
7 | (name mbarbin)
8 | (url "git+https://github.com/mbarbin/opam-repository.git"))
Error: Field "source" is missing
```
This is another attempt at fixing the opam CI to release this project.
2deef8
-
Jan 25 13:09 +00:00