Skip to content

Actions: code5717/a7-py

Actions

Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-docs.yml
167 workflow runs
167 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Rewrite docs site content and reorganize navigation by task. Deploy Docs #167: Commit 5f0df01 pushed by code5717
26s master
master
26s
Fix docs site mobile layout across tablet and phone breakpoints. Deploy Docs #166: Commit 1e0e7b8 pushed by code5717
23s master
master
23s
Fix LICENSE copyright attribution Deploy Docs #165: Commit b8ed220 pushed by code5717
31s master
master
31s
Polish docs site + add MIT LICENSE Deploy Docs #164: Commit e6c5cdc pushed by code5717
37s master
master
37s
Relax docs style punctuation gate Deploy Docs #163: Commit 9f55d30 pushed by code5717
55s master
master
55s
Use Bun in GitHub workflows Deploy Docs #162: Commit 99afb60 pushed by code5717
13s master
master
13s
Switch docs site workflow to Bun Deploy Docs #161: Commit 775d2bb pushed by code5717
19s master
master
19s
Make published docs index human-first Deploy Docs #160: Commit cf06989 pushed by code5717
1m 18s master
master
1m 18s
Fix docs deploy lint Deploy Docs #159: Commit 795c269 pushed by code5717
1m 2s master
master
1m 2s
Move A7 to Zig 0.16 and simplify docs Deploy Docs #158: Commit f793ff4 pushed by code5717
36s master
master
36s
Harden safety backend plan Deploy Docs #157: Commit f3e29f4 pushed by code5717
22s master
master
22s
Overhaul docs site: in-page Markdown, mermaid diagrams, dedupe, llms-… Deploy Docs #156: Commit e010e77 pushed by code5717
27s master
master
27s
Overhaul safety proof and reference lowering Deploy Docs #155: Commit 86819f5 pushed by code5717
51s master
master
51s
Harden release archive verification Deploy Docs #154: Commit b948cad pushed by code5717
54s master
master
54s
Include package smoke in release gate Deploy Docs #153: Commit 83c3556 pushed by code5717
1m 0s master
master
1m 0s
Hoist Zig stdio writers Deploy Docs #152: Commit bfc26b6 pushed by code5717
1m 14s master
master
1m 14s
Focus A7 compiler on Zig backend Deploy Docs #151: Commit 91447f2 pushed by code5717
1m 14s master
master
1m 14s
Make C prepared binary emission iterative Deploy Docs #150: Commit f3df395 pushed by code5717
1m 0s master
master
1m 0s
Make backend binary emission iterative Deploy Docs #149: Commit 362808b pushed by code5717
54s master
master
54s
Reject higher-order recursion trampolines Deploy Docs #148: Commit fd06b8f pushed by code5717
51s master
master
51s
Fail closed on missing example goldens Deploy Docs #147: Commit 40b3a33 pushed by code5717
53s master
master
53s
Scope low-recursion implementation docs Deploy Docs #146: Commit 0745b1c pushed by code5717
48s master
master
48s
Make JSON AST serialization iterative Deploy Docs #145: Commit 0e7c357 pushed by code5717
47s master
master
47s
Tighten example catalog coverage Deploy Docs #144: Commit f86a8e7 pushed by code5717
52s master
master
52s
Update selected import release evidence Deploy Docs #143: Commit 515fa91 pushed by code5717
47s master
master
47s