+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" 4 3 watchexec = "latest" 5 4 zig = "0.15.2" 6 5

-1

zine.ziggy

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