CI: disable devcontainer until it's faster. not worth 5m

11 months ago · 188de7b90e
parent eae369c7dd
commit 188de7b90e
1 changed files with 1 additions and 0 deletions
--- 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: