about summary refs log tree commit diff
path: root/tvix (unfollow)
AgeCommit message (Collapse)AuthorFilesLines
2021-03-31 r/2379 chore(tvix): Make docs multi outputadisbladis1-0/+7
We also want to access the produced SVGs separately. Change-Id: I5bdfd95b8a56323ed8bf5f4585b703f6e728c677 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2742 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2378 chore(tvix/docs): move from docFlorian Klink5-0/+0
Most other docs folders in the repo are called `doc` too, let's make this consistent. Change-Id: Icd712429b51763076548c977321e370f2a77877e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2741 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2377 docs(tvix/components): Editing passVincent Ambo1-19/+63
* general editing * reflowed text to fit on my screen :p Change-Id: I1ae41ef5524d3174d063c66a7bcb990808424bdb Reviewed-on: https://cl.tvl.fyi/c/depot/+/2716 Tested-by: BuildkiteCI Reviewed-by: adisbladis <adisbladis@gmail.com>
2021-03-31 r/2376 chore(web/tvl): Remove some former membersVincent Ambo1-6/+0
Change-Id: I11d3f473142a9b15c5fed6b213c825ccf1c70491 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2714 Reviewed-by: adisbladis <adisbladis@gmail.com> Tested-by: BuildkiteCI
2021-03-31 r/2375 feat(cheddar): Set front_matter_delimiter = '---' extensionVincent Ambo1-0/+1
This chops off "front matter", which we have - for example - in Tvix documentation that is rendered through Pandoc. Change-Id: I65c7a4ad8171423a50aaf47c046dab8c774346d8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2717 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-31 r/2374 chore(cheddar): Bump crate dependenciesVincent Ambo3-515/+553
This required some minor Comrak-related refactoring. Change-Id: I5c5898eb895bd5d8743949458ee9406087fcff22 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2690 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: flokli <flokli@flokli.de>
2021-03-31 r/2373 test(cheddar): Add simple Markdown rendering testsVincent Ambo3-1/+66
Covers some of the odd things we do, specifically callouts and code rendering. Change-Id: Ib8542373b434b53d277b0d8c9ddb78ac7c5176a5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2689 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
2021-03-31 r/2372 chore(tvix): Add doc build infrastructureadisbladis4-0/+54
Change-Id: I2cf67df085d0c008b5ff5efff2235a670207024a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2711 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2371 docs(tvix): Add components docadisbladis2-0/+144
Change-Id: I53856bf98c5c2057f95e9c9af5f07c16ced55e0f Reviewed-on: https://cl.tvl.fyi/c/depot/+/2712 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-31 r/2370 revert(monorepo-gerrit): Revert to using cgit for Gerrittazjin1-10/+10
This reverts commit 3b05be2fd0c0035977dbac731c26651b9ff3e373. Reason for revert: Sourcegraph still does not support fetching arbitrary refs, so we'll have to wait until its Gerrit integration lands before this will work correctly. Change-Id: Icee82c50f92c34ba1741b608449aed16538ccbaa Reviewed-on: https://cl.tvl.fyi/c/depot/+/2721 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
2021-03-31 r/2369 chore(web/tvl): Point footer links at useful thingsVincent Ambo1-3/+5
These were actually just copy&pasted from the layout of my blog (//users/tazjin/blog), even including a dead link. This commit adds more relevant links instead. Change-Id: Ib55aac492f1f9bff650edfa43b52d3d5d611410c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2713 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-31 r/2368 fix(tvix): Add //tvix to readTree rootsVincent Ambo1-0/+1
Change-Id: I7d0e81d6a88f351c7451454f5d506d708e7ed9ca Reviewed-on: https://cl.tvl.fyi/c/depot/+/2710 Tested-by: BuildkiteCI Reviewed-by: adisbladis <adisbladis@gmail.com>
2021-03-31 r/2367 revert(web/tvl): Revert 's/The V/tazjin's v/"'Vincent Ambo3-9/+9
This was originally done when "the purge" happened, and I don't think it's quite accurate anymore. This reverts commit 94846503c59b4155cc98280ef1c5cbcf69696ff9. Change-Id: I4be2bccfa68505a2f663ab1695e547321d2dd0b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2709 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-30 r/2366 feat(gs/emacs): Add terraform configGriffin Smith3-0/+36
Change-Id: I9266ed310024a2a9437ea983dfdf27b8a395c924 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2707 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-30 r/2365 chore(tverskoy): Disable networking.firewallVincent Ambo1-0/+1
I'm only connected to my own tethering nets anyways and I can't be bothered to figure out all the things I need to open for Chromecasts, maybe later. Change-Id: Id1715b205191d4494a5a7001e1fb0f41a89d3de6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2705 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-29 r/2364 fix(gws.fyi): Make CSS mobile-friendlyGriffin Smith1-1/+12
Don't apply the left-margin if the viewport is too narrow too handle it Change-Id: Ia15641a6f0c94f9b0582f4a48af00b935f3e66bc Reviewed-on: https://cl.tvl.fyi/c/depot/+/2703 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2363 feat(gs/mugwump): Add blackbox prometheus exportersGriffin Smith1-0/+40
Add blackbox prometheus exporters to Mugwump with config for scraping gws.fyi, windtunnel.ci, and app.windtunnel.ci Change-Id: Ied9e329d44b506763b600e4978f65a5a3abcf5df Reviewed-on: https://cl.tvl.fyi/c/depot/+/2702 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2362 feat(gs/home): Install prettierGriffin Smith1-1/+2
Change-Id: I0a416ef919859b7516861de7fb575616f5479d26 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2701 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2361 feat(gws.fyi): Make website build easier to testGriffin Smith2-2/+5
Expose website as a top-level attribute, and ignore index.html, both to make test-deving the site easier Change-Id: Ic056446e322ec5f69583d316998103883fc8d55b Reviewed-on: https://cl.tvl.fyi/c/depot/+/2700 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2360 fix(gws.fyi): Explicitly specify personal profile to AWSGriffin Smith2-2/+3
Explicitly pass --profile personal to AWS commands, to avoid deploying this to the wrong aws account on accident Change-Id: Iff8236967adcfdedfbace8930031db9adf60e3d1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2699 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2359 feat(gws.fyi): Link to some of my projectsGriffin Smith1-3/+18
Also start to put things under headings, since we have CSS to make that look decent now Change-Id: I9ad8c5f5bf32360bcae48fb28e390391fcec0a88 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2698 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2358 feat(gws.fyi): Add some very light CSSGriffin Smith4-1/+132
web-brutalism is so 3 years ago, bro but seriously, I'd like to start putting some actual stuff here, so let's make it look halfway-decent. Change-Id: Ic78d725b3755c2307c7ea155af8d0f90e287830c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2697 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2357 refactor(gs/home): Move rebuild-mugwump script to all machinesGriffin Smith2-10/+10
Chupacabra doesn't even exist anymore, plus I want this installed on all home systems Change-Id: Id0e5c89797b1ad52b2a24d60ad3ab5e125f60266 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2696 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-28 r/2356 feat(achilles): Implement a Unit typeGriffin Smith16-88/+447
Add support for a zero-sized Unit type. This requires some special at the codegen level because LLVM (unsurprisingly) only allows Void types in function return position - to make that a little easier to handle there's a new pass that strips any unit-only expressions and pulls unit-only function arguments up to new `let` bindings, so we never have to actually pass around unit values. Change-Id: I0fc18a516821f2d69172c42a6a5d246b23471e38 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2695 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-28 r/2355 feat(web/panettone): Noping issue authors' usernamesGriffin Smith4-3/+20
When sending irc notifications, insert a zero-width space after the first character of the username of the author of issues, to prevent that user from receiving a ping. Fixes: b/95 Change-Id: Ibcacb45129b2cb99b587744eb61f4f1dbc0060d6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2693 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-28 r/2354 chore(web/panettone): Add sterni to OWNERSGriffin Smith1-0/+1
Sterni has been doing a lot of good mainenance work, and I'd like to enable that in as unblocked a fashion as possible. Change-Id: I5bbd2459864c3d4b7e6b9927fc5d4824efc854e6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2692 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-28 r/2353 chore(tverskoy): Add some more missing programs and persisted pathsVincent Ambo1-0/+5
Change-Id: I3fbdbdc177471429d80ed50b4424e5f0b96e6272 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2694 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-03-28 r/2352 fix(clbot): Avoid pinging users for their own user folder CLsVincent Ambo1-2/+12
Instead of only "nopinging" the username in the templated message, replace all instances of the CL owner's name with one that does not (tries to not) highlight them. This way, CLs sent to another user's folder will still highlight them. Change-Id: I9a3d8563ab32befc1a1b1412851026343c170dd3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2688 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: lukegb <lukegb@tvl.fyi>
2021-03-27 r/2351 fix(3p/lisp/puri): Use fetchgit for source, update versionGriffin Smith1-4/+3
Something changed in the upstream w