about summary refs log tree commit diff
path: root/corp (follow)
AgeCommit message (Collapse)AuthorFilesLines
2022-09-04 r/4631 refactor(corp/tvixbolt): adapt for tvix-eval's upcoming observer APIVincent Ambo2-13/+12
Instead of the previous hack which painfully threaded through a structure that the disassembler could write to, Tvix's evaluator is gaining a new "Observer" API which lets library clients observe compilation output (and, soon!, runtime tracing). This adapts tvixbolt to use this observer interface (with the default `DisassemblingObserver`) to populate the `bytecode` field of its output. This is purely a mechanical change, no functionality is impacted. Change-Id: I22bd2218629f30fd7351d4cc5ddcf639c12fea14 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6316 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-09-04 r/4630 feat(corp/tvixbolt): check in initial tvixbolt versionVincent Ambo6-0/+862
This is the code backing the small site currently deployed at https://tazj.in/blobs/nixbolt/index.html This relies on a newer version of Tvix than is available in depot and a bunch of other stuff that isn't public yet, so for now no build file is provided as this is heavily work-in-progress. Change-Id: I7a8e4dbf4e11d1c70175f929e65f40ff69acbbd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6315 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-01-31 r/3723 style: format entire depot with nixpkgs-fmtVincent Ambo1-1/+2
This CL can be used to compare the style of nixpkgs-fmt against other formatters (nixpkgs, alejandra). Change-Id: I87c6abff6bcb546b02ead15ad0405f81e01b6d9e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4397 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: cynthia <cynthia@tvl.fyi> Reviewed-by: edef <edef@edef.eu> Reviewed-by: eta <tvl@eta.st> Reviewed-by: grfn <grfn@gws.fyi>
2021-10-07 r/2953 refactor(web): use static.tvl.{fyi|su} for static assetsVincent Ambo2-3/+2
Replaces all uses of relative static paths in TVL pages with the static.tvl.fyi domain. Where possible, the drv hash is directly embedded in the content. Change-Id: Ia882dd37ceae9d047cd81cf1eb37a856b339643a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3682 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-01 r/2942 refactor(web/tvl/template): Make static asset URL configurableVincent Ambo1-1/+1
Change-Id: I168924cd7b15103d64c9ad72172f72304e1d3a7d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3659 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-01 r/2940 refactor(corp/website): Write index into a folder insteadVincent Ambo1-13/+17
This makes it possible to directly use the folder as an nginx root. Change-Id: I8cb5236f8d6d01658926330a01c9dfdfa7d60dcc Reviewed-on: https://cl.tvl.fyi/c/depot/+/3657 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-28 r/2934 feat(corp/website): Add initial website for tvl.suVincent Ambo2-0/+59
Change-Id: I83506c214a5db1be283913ed2ebd182fbba00c61 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3650 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-28 r/2932 feat(corp): Bootstrap //corp subtreeVincent Ambo2-0/+7
This will be used for anything to do with the TVL company. For the most part this will be website stuff, and maybe a handful of legal documents. Usage rights to this folder are reserved, in contrast to the rest of the depot. Change-Id: I7fb70278f49d52d7c54132fe4f8f22fb93a10da7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3648 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI