tvl-depot/web/tvixbolt/index.html

<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <link rel="stylesheet"
          href="https://static.tvl.su/latest/terminal.min.css" />
    <link data-trunk rel="inline" href="index.css">
    <title>Tvixbolt</title>
  </head>
</html>
feat(corp/tvixbolt): check in initial tvixbolt version 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-09-04 14:16:27 +02:00			`<!DOCTYPE html>`
			`<html>`
			`<head>`
			`<meta charset="utf-8" />`
			`<meta name="viewport" content="width=device-width, initial-scale=1">`
			`<link rel="stylesheet"`
feat(web/static): serve terminalcss from static.tvl.{fyi\|su} Change-Id: I3cdacc1429f86e044fc77c9b68477d577a0f67c7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8779 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI 2023-06-14 22:40:50 +02:00			`href="https://static.tvl.su/latest/terminal.min.css" />`
feat(corp/tvixbolt): check in initial tvixbolt version 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-09-04 14:16:27 +02:00			`<link data-trunk rel="inline" href="index.css">`
			`<title>Tvixbolt</title>`
			`</head>`
			`</html>`