-25

.tangled/workflows/build.yml

··· 1 1 - when: 2 2 - - event: ["push", "pull_request"] 3 3 - branch: ["*"] 4 4 - 5 5 - engine: nixery 6 6 - 7 7 - dependencies: 8 8 - nixpkgs: 9 9 - - curl 10 10 - - dart-sass 11 11 - - deno 12 12 - - mise 13 13 - - which 14 14 - - zip 15 15 - 16 16 - steps: 17 17 - - name: Setup mise 18 18 - command: | 19 19 - mise trust 20 20 - mise link deno@latest $(dirname $(dirname $(readlink -f $(which deno)))) 21 21 - mise exec zig -- zig version 22 22 - mise exec deno -- deno --version 23 23 - - name: Build website 24 24 - command: | 25 25 - mise run dist

-33

.tangled/workflows/deploy.yml

··· 1 1 - when: 2 2 - - event: ["push"] 3 3 - branch: ["main"] 4 4 - tag: ["v*"] 5 5 - 6 6 - engine: nixery 7 7 - 8 8 - dependencies: 9 9 - nixpkgs: 10 10 - - curl 11 11 - - dart-sass 12 12 - - deno 13 13 - - mise 14 14 - - which 15 15 - - zip 16 16 - 17 17 - steps: 18 18 - - name: Setup mise 19 19 - command: | 20 20 - mise trust 21 21 - mise link deno@latest $(dirname $(dirname $(readlink -f $(which deno)))) 22 22 - mise exec zig -- zig version 23 23 - mise exec deno -- deno --version 24 24 - - name: Setup statichost cli 25 25 - command: | 26 26 - curl -so shcli https://www.statichost.eu/shcli 27 27 - chmod +x shcli 28 28 - - name: Build website 29 29 - command: | 30 30 - mise run dist 31 31 - - name: Upload 32 32 - command: | 33 33 - ./shcli altagos-dev ./zig-out/website

+131

assets/robots.txt

··· 1 1 + User-agent: AddSearchBot 2 2 + User-agent: AI2Bot 3 3 + User-agent: AI2Bot-DeepResearchEval 4 4 + User-agent: Ai2Bot-Dolma 5 5 + User-agent: aiHitBot 6 6 + User-agent: amazon-kendra 7 7 + User-agent: Amazonbot 8 8 + User-agent: AmazonBuyForMe 9 9 + User-agent: Andibot 10 10 + User-agent: Anomura 11 11 + User-agent: anthropic-ai 12 12 + User-agent: Applebot 13 13 + User-agent: Applebot-Extended 14 14 + User-agent: atlassian-bot 15 15 + User-agent: Awario 16 16 + User-agent: bedrockbot 17 17 + User-agent: bigsur.ai 18 18 + User-agent: Bravebot 19 19 + User-agent: Brightbot 1.0 20 20 + User-agent: BuddyBot 21 21 + User-agent: Bytespider 22 22 + User-agent: CCBot 23 23 + User-agent: Channel3Bot 24 24 + User-agent: ChatGLM-Spider 25 25 + User-agent: ChatGPT Agent 26 26 + User-agent: ChatGPT-User 27 27 + User-agent: Claude-SearchBot 28 28 + User-agent: Claude-User 29 29 + User-agent: Claude-Web 30 30 + User-agent: ClaudeBot 31 31 + User-agent: Cloudflare-AutoRAG 32 32 + User-agent: CloudVertexBot 33 33 + User-agent: cohere-ai 34 34 + User-agent: cohere-training-data-crawler 35 35 + User-agent: Cotoyogi 36 36 + User-agent: Crawl4AI 37 37 + User-agent: Crawlspace 38 38 + User-agent: Datenbank Crawler 39 39 + User-agent: DeepSeekBot 40 40 + User-agent: Devin 41 41 + User-agent: Diffbot 42 42 + User-agent: DuckAssistBot 43 43 + User-agent: Echobot Bot 44 44 + User-agent: EchoboxBot 45 45 + User-agent: FacebookBot 46 46 + User-agent: facebookexternalhit 47 47 + User-agent: Factset_spyderbot 48 48 + User-agent: FirecrawlAgent 49 49 + User-agent: FriendlyCrawler 50 50 + User-agent: Gemini-Deep-Research 51 51 + User-agent: Google-CloudVertexBot 52 52 + User-agent: Google-Extended 53 53 + User-agent: Google-Firebase 54 54 + User-agent: Google-NotebookLM 55 55 + User-agent: GoogleAgent-Mariner 56 56 + User-agent: GoogleOther 57 57 + User-agent: GoogleOther-Image 58 58 + User-agent: GoogleOther-Video 59 59 + User-agent: GPTBot 60 60 + User-agent: iAskBot 61 61 + User-agent: iaskspider 62 62 + User-agent: iaskspider/2.0 63 63 + User-agent: IbouBot 64 64 + User-agent: ICC-Crawler 65 65 + User-agent: ImagesiftBot 66 66 + User-agent: imageSpider 67 67 + User-agent: img2dataset 68 68 + User-agent: ISSCyberRiskCrawler 69 69 + User-agent: Kangaroo Bot 70 70 + User-agent: KlaviyoAIBot 71 71 + User-agent: KunatoCrawler 72 72 + User-agent: laion-huggingface-processor 73 73 + User-agent: LAIONDownloader 74 74 + User-agent: LCC 75 75 + User-agent: LinerBot 76 76 + User-agent: Linguee Bot 77 77 + User-agent: LinkupBot 78 78 + User-agent: Manus-User 79 79 + User-agent: meta-externalagent 80 80 + User-agent: Meta-ExternalAgent 81 81 + User-agent: meta-externalfetcher 82 82 + User-agent: Meta-ExternalFetcher 83 83 + User-agent: meta-webindexer 84 84 + User-agent: MistralAI-User 85 85 + User-agent: MistralAI-User/1.0 86 86 + User-agent: MyCentralAIScraperBot 87 87 + User-agent: netEstate Imprint Crawler 88 88 + User-agent: NotebookLM 89 89 + User-agent: NovaAct 90 90 + User-agent: OAI-SearchBot 91 91 + User-agent: omgili 92 92 + User-agent: omgilibot 93 93 + User-agent: OpenAI 94 94 + User-agent: Operator 95 95 + User-agent: PanguBot 96 96 + User-agent: Panscient 97 97 + User-agent: panscient.com 98 98 + User-agent: Perplexity-User 99 99 + User-agent: PerplexityBot 100 100 + User-agent: PetalBot 101 101 + User-agent: PhindBot 102 102 + User-agent: Poggio-Citations 103 103 + User-agent: Poseidon Research Crawler 104 104 + User-agent: QualifiedBot 105 105 + User-agent: QuillBot 106 106 + User-agent: quillbot.com 107 107 + User-agent: SBIntuitionsBot 108 108 + User-agent: Scrapy 109 109 + User-agent: SemrushBot-OCOB 110 110 + User-agent: SemrushBot-SWA 111 111 + User-agent: ShapBot 112 112 + User-agent: Sidetrade indexer bot 113 113 + User-agent: Spider 114 114 + User-agent: TavilyBot 115 115 + User-agent: TerraCotta 116 116 + User-agent: Thinkbot 117 117 + User-agent: TikTokSpider 118 118 + User-agent: Timpibot 119 119 + User-agent: TwinAgent 120 120 + User-agent: VelenPublicWebCrawler 121 121 + User-agent: WARDBot 122 122 + User-agent: Webzio-Extended 123 123 + User-agent: webzio-extended 124 124 + User-agent: wpbot 125 125 + User-agent: WRTNBot 126 126 + User-agent: YaK 127 127 + User-agent: YandexAdditional 128 128 + User-agent: YandexAdditionalBot 129 129 + User-agent: YouBot 130 130 + User-agent: ZanistaBot 131 131 + Disallow: /

+28

ci/tasks/build.yml

··· 1 1 + platform: linux 2 2 + 3 3 + image_resource: 4 4 + type: registry-image 5 5 + source: 6 6 + repository: ghcr.io/jdx/mise 7 7 + tag: latest 8 8 + 9 9 + inputs: 10 10 + - name: website 11 11 + 12 12 + outputs: 13 13 + - name: public 14 14 + 15 15 + caches: 16 16 + - path: /mise 17 17 + - path: .cache/zig/ 18 18 + - path: website/.zig-cache/ 19 19 + 20 20 + run: 21 21 + dir: website 22 22 + path: sh 23 23 + args: 24 24 + - -exc 25 25 + - | 26 26 + mise trust 27 27 + mise run dist 28 28 + mv zig-out/website/ ../public/

+22

ci/tasks/deploy.yml

··· 1 1 + platform: linux 2 2 + 3 3 + image_resource: 4 4 + type: registry-image 5 5 + source: 6 6 + repository: alpine 7 7 + 8 8 + params: 9 9 + STATICHOST_APIKEY: ((website.statichost)) 10 10 + 11 11 + inputs: 12 12 + - name: public 13 13 + 14 14 + run: 15 15 + path: sh 16 16 + args: 17 17 + - -exc 18 18 + - | 19 19 + apk add bash curl zip >/dev/null 20 20 + curl -so shcli https://www.statichost.eu/shcli 21 21 + chmod +x shcli 22 22 + ./shcli altagos-dev ./public/website

+1

mise.toml

··· 1 1 [tools] 2 2 deno = "latest" 3 3 + "github:sass/dart-sass" = "latest" 3 4 watchexec = "latest" 4 5 zig = "0.15.2" 5 6

+1

zine.ziggy

··· 33 33 34 34 // Other 35 35 "math/Temml-Local.css.map", 36 36 + "robots.txt", 36 37 ], 37 38 }