Merge branch 'datajoint:master' into key_populate

Author: dimitri-yatsenko

.devcontainer/Dockerfile

@@ -4,7 +4,7 @@ FROM mcr.microsoft.com/devcontainers/python:${PY_VER}-${DISTRO}
 RUN \
     apt update && \
     apt-get install bash-completion graphviz default-mysql-client -y && \
-    pip install flake8 black faker ipykernel pytest pytest-cov nose nose-cov datajoint && \
+    pip install flake8 black faker ipykernel pytest pytest-cov nose nose-cov datajoint jupyterlab && \
     pip uninstall datajoint -y
 
 USER root

.devcontainer/devcontainer.json

@@ -32,6 +32,7 @@
 	"features": {
 		"ghcr.io/devcontainers/features/git:1": {},
 		"ghcr.io/devcontainers/features/docker-in-docker:2": {},
+		"ghcr.io/devcontainers/features/github-cli:1": {},
 	},
 	// Configure tool-specific properties.
 	"customizations": {

.github/workflows/development.yaml

@@ -190,7 +190,7 @@ jobs:
           prerelease: false
           draft: false
       - name: Fetch pip artifacts
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4.1.7
         with:
           name: pip-datajoint-${{env.DJ_VERSION}}
           path: dist