From 8b8a344647f251b95f2c558ff1a3851bb98397f4 Mon Sep 17 00:00:00 2001
From: Florian Klink <flokli@flokli.de>
Date: Sat, 7 Oct 2023 07:55:02 +0300
Subject: fix(view/tvix): remove other default.nix files

These only work in depot usecases anyways.

Change-Id: I463ffb4e3ac2d3a20db3cace749e357c893e7188
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9557
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Reviewed-by: Connor Brewster <cbrewster@hey.com>
---
 views/tvix/workspace.josh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/views/tvix/workspace.josh b/views/tvix/workspace.josh
index b4f6e3ce5b..f1b326f83d 100644
--- a/views/tvix/workspace.josh
+++ b/views/tvix/workspace.josh
@@ -4,5 +4,6 @@
 ]
 
 ::tvix:exclude[
-  ::tvix/default.nix
+  ::tvix/default.nix,
+  ::tvix/**/default.nix:exclude[::tvix/eval/src/tests/tvix_tests/directory/default.nix]
 ]:/tvix
-- 
cgit 1.4.1