remove docker from CI

Author: PierreQuinton

.github/workflows/build-devcontainer.yml

@@ -81,7 +81,6 @@ jobs:
 
       - uses: ./.github/actions/install-deps
         with:
-          options: full
           groups: doc
 
       - name: Build Documentation
@@ -106,12 +105,8 @@ jobs:
 
       - uses: ./.github/actions/install-deps
         with:
-          options: full
           groups: check test plot
 
-      - name: Configure git safe directory
-        run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
-
       - name: Run pre-commit hooks
         run: uv run pre-commit run --all-files
 

.github/workflows/checks.yml

@@ -3,7 +3,6 @@
 
 from .autojac import backward as _backward, mtl_backward as _mtl_backward
 
-# TODO: remove this comment (testing devcontainer cache)
 _deprecated_items: dict[str, tuple[str, Callable]] = {
     "backward": ("autojac", _backward),
     "mtl_backward": ("autojac", _mtl_backward),