depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2023-09-10	r/6577 refactor(tvix/website): remove unused structuredData	Florian Klink	1	-8/+0
	Change-Id: I2445b977c5bed3e2d4b90e8ad81119d316b29b50 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9281 Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: Adam Joseph <adam@westernsemico.com> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
2023-09-10	r/6576 refactor(tvix): move logo to //tvix:logo	Florian Klink	3	-2/+2
	Also expose both formats, then use it from users/tazjin/presentations/tvix-eval-2023. Change-Id: Id906e8aff5510a7a4f33336326472e86db18ea32 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9280 Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: tazjin <tazjin@tvl.su>
2023-05-23	r/6183 chore(tvix/website): fix spelling mistake	Gabor Greif	1	-1/+1
	Change-Id: Id1b2287bebef3384676f89817030c0a00f8d5935 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8622 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de>
2023-03-14	r/6002 feat(tvix): add simple initial website	Vincent Ambo	3	-0/+68
	The website itself contains no useful information that we don't already have published anywhere, but it's a decent landing place. Mostly I want to have something on the root of tvix.dev, so that we can start using it for other purposes. Change-Id: Id2b4dabc7f6e4dd26b61484b86dbde2f39aa1719 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8296 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>