diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-24T15·34+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-10-25T08·22+0000 |
| commit | a89695c4c56f05451bfcd94400d99865f8de6366 (patch) | |
| tree | a788a521b6a4732ad86f49ebf0998ee27c0759ef /web | |
| parent | 5c91ddbeeffde92b41bb4e2720aaea98d7758ef9 (diff) | |
chore(tvix): move buildkite.yml from views/tvix to tvix/ r/6878
This should remove the ambiguity on where buildkite.yml should show up at least. We might still want to move workspace.josh into tvix/ too at some point, but that's blocked on https://github.com/josh-project/josh/issues/1287 This commit doesn't cause any change in views/tvix, with a previous version of this commit added to my HEAD, I ran josh-filter to verify it still points to ce0df88561fee8a4d6052ca9f2a1792f899a202a. Change-Id: Ic03e92260dc7725bc2fcf01b7c72a097d92c028e Reviewed-on: https://cl.tvl.fyi/c/depot/+/9828 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions