Workflow runs · fixpoint-linux/compendium · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

8 workflow runs

8 workflow runs

zig: migrate DNS engine from C11 to Zig (dhall-c seam, self-host targ… Deploy compendium site #3: Commit 68e4274 pushed by jmars

46s main

46s

build: replace Makefile with dhake (verified builds) Deploy compendium site #2: Commit d930333 pushed by jmars

44s main

44s

site: re-platform docs onto fixpoint design components (mirror dhall-c) Deploy compendium site #1: Commit b44b0b1 pushed by jmars

40s main

40s

Mirror the 'Why' narrative onto the GitHub Pages landing page Deploy GitHub Pages #5: Commit 18f8915 pushed by jmars

17s main

17s

Add a 'Why' section to the README Deploy GitHub Pages #4: Commit 3466756 pushed by jmars

19s main

19s

Add live demo link to README Deploy GitHub Pages #3: Commit ccce5a4 pushed by jmars

20s main

20s

Deploy GitHub Pages Deploy GitHub Pages #2: Manually run by jmars

17s main

17s

Add GitHub Pages showcase: live DNS demo in the browser (wasm) Deploy GitHub Pages #1: Commit 19ad56a pushed by jmars

9s main

9s