Peter Tripp 74cba2407f ci: Move collab to Dockerfile-collab (#18515) ... This makes it possible to have multiple Dockerfiles, each with their own `.dockerignore`. Previously any docker builds would always include anything inside `.dockerignore`. I believe this feature may require `export DOCKER_BUILDKIT=1` but we use that in CI already.		2024-09-30 16:14:26 -04:00
..
settings.json	ci: Move collab to Dockerfile-collab (#18515)	2024-09-30 16:14:26 -04:00
tasks.json	A set of small fixes (#16849)	2024-08-26 02:24:08 +03:00