josh: pushes to josh tvix workspace create builtkite.yml

#320
Opened by flokli at 2023-10-14T12·11+00

As can be seen in https://cl.tvl.fyi/c/depot/+/9605/2, a push to https://code.tvl.fyi/depot.git:workspace=views/tvix.git creates a tvix/buildkite.yml in depot.

  1. This could be related to https://github.com/josh-project/josh/issues/1155, and overlapping filters in general.

    Maybe it's easier to move all the workspace config to the tvix directory itself.

    flokli at 2023-10-14T12·13+00

  2. It looks like the implicit filter is causing us trouble in that direction too. I opened https://github.com/josh-project/josh/issues/1287 to clarify.

    flokli at 2023-10-24T15·32+00