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