zed/.zed
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