Update devcontainer

.github/workflows/devcontainer-docker-image.yml

@@ -2,6 +2,10 @@ name: devcontainer-docker-image
 
 on:
   workflow_dispatch:
+  schedule:
+    - cron: "48 19 * * 5"  # Fridays at 19:48 UTC
+  release:
+    types: [published]
 
 env:
   REGISTRY: ghcr.io

.gitpod.yml

@@ -36,6 +36,7 @@ vscode:
     - eamodio.gitlens
     - ms-python.python
     - ms-pyright.pyright
+    - ms-toolsai.jupyter
     - donjayamanne.githistory
 
 github:

scripts/dev.Dockerfile

@@ -1,4 +1,4 @@
-FROM ghcr.io/mamba-org/micromamba-devcontainer:git-e04d158
+FROM ghcr.io/mamba-org/micromamba-devcontainer:latest
 
 COPY --chown=${MAMBA_USER}:${MAMBA_USER} conda-envs/environment-dev.yml /tmp/environment-dev.yml
 RUN : \
@@ -8,15 +8,5 @@ RUN : \
     && sudo chmod -R a+rwx /opt/conda \
 ;
 
+# Run subsequent commands in an activated Conda environment
 ARG MAMBA_DOCKERFILE_ACTIVATE=1
-
-ENV PRE_COMMIT_HOME=/opt/.pre-commit-cache-prebuilt
-COPY --chown=${MAMBA_USER}:${MAMBA_USER} .pre-commit-config.yaml /fake-repo/.pre-commit-config.yaml
-RUN : \
-    && sudo mkdir --mode=777 /opt/.pre-commit-cache-prebuilt \
-    && cd /fake-repo \
-    && git init \
-    && pre-commit install-hooks \
-    && sudo rm -rf /fake-repo \
-    && sudo chmod -R a+rwx /opt/.pre-commit-cache-prebuilt \
-;