build: Remove obsolete WORKSPACE.

jaqx0r · Feb 23, 2025 · b1d518c · b1d518c
1 parent e93855d
commit b1d518c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 35 deletions.
diff --git a/.bazelversion b/.bazelversion
@@ -1 +1 @@
-7.5
+8.1.0
diff --git a/WORKSPACE b/WORKSPACE