chore: remove obsolete workspace file (ocaml#10997)

nobody is using it as witnessed by the ancient versions of OCaml in it Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
anmonteiro · Nov 17, 2024 · 9c42f51 · 9c42f51
1 parent ffd89a0
commit 9c42f51
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