chore: remove obsolete workspace file (#10997)

nobody is using it as witnessed by the ancient versions of OCaml in it Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
ocaml · Oct 6, 2024 · 015b0fe · 015b0fe
1 parent 250f0b1
commit 015b0fe
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/Makefile b/Makefile
@@ -120,9 +120,6 @@ promote: $(BIN)
 .PHONY: accept-corrections
 accept-corrections: promote
 
-all-supported-ocaml-versions: $(BIN)
-	$(BIN) build @install @runtest --workspace dune-workspace.dev --root .
-
 .PHONY: clean
 clean:
 	rm -rf _boot _build

diff --git a/dune-workspace.dev b/dune-workspace.dev