From 188de7b90ee6005eb4e817f46ddae8463a6e928e Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Wed, 11 Sep 2024 17:23:33 -0700
Subject: [PATCH] CI: disable devcontainer until it's faster. not worth 5m

---
 .github/workflows/tools_tests.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/tools_tests.yaml b/.github/workflows/tools_tests.yaml
index 1bdde2a59a..c1c3552472 100644
--- a/.github/workflows/tools_tests.yaml
+++ b/.github/workflows/tools_tests.yaml
@@ -46,6 +46,7 @@ jobs:
   devcontainer:
     name: devcontainer
     runs-on: ubuntu-latest
+    if: false  # we can re-enable once this is faster
     steps:
     - uses: actions/checkout@v4
       with: