Skip to content

Actions: fixpoint-linux/datalog-dafsa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
fix: wrap the playground warn/note callouts in .wrap so they don't sp… Deploy datalog-dafsa site #12: Commit e98feb5 pushed by jmars
37s main
main
37s
refactor: embed playground as <datalog-playground> custom element in … Deploy datalog-dafsa site #11: Commit 80f930d pushed by jmars
33s main
main
33s
refactor: wrap all 9 page views in Hero + Section design components t… Deploy datalog-dafsa site #10: Commit 9e915d0 pushed by jmars
36s main
main
36s
chore: bump design submodule for nav top-spacing fix Deploy datalog-dafsa site #9: Commit af8379c pushed by jmars
42s main
main
42s
chore: bump design submodule for multi-row nav (fixes nav overflow on… Deploy datalog-dafsa site #8: Commit 455850a pushed by jmars
33s main
main
33s
fix: wrap page content in .wrap (max-width 780px) container — layout … Deploy datalog-dafsa site #7: Commit 0d0942f pushed by jmars
34s main
main
34s
fix: don't block playground mount on slot attachment — boot scripts i… Deploy datalog-dafsa site #6: Commit 3966de9 pushed by jmars
42s main
main
42s
fix: playground MFE must wait for slot attachment before loading play… Deploy datalog-dafsa site #5: Commit 938848a pushed by jmars
31s main
main
31s
fix: ship fixpoint.html template so the dafsa->home cross-nav mounts … Deploy datalog-dafsa site #4: Commit 058337d pushed by jmars
41s main
main
41s
fix: make dafsa 'fixpoint-linux' back-link an in-shell data-mfe-route… Deploy datalog-dafsa site #3: Commit 4dfa15b pushed by jmars
33s main
main
33s
Deploy datalog-dafsa site Deploy datalog-dafsa site #2: Manually run by jmars
40s main
main
40s
feat: rebuild docs site as multi-route Elm MFE (fixpointlinux.org/dat… Deploy datalog-dafsa site #1: Commit afdc8cc pushed by jmars
30s main
main
30s
pages build and deployment pages-build-deployment #36: by jmars
2m 10s main
main
2m 10s
Consume DAFSA engine via fixpoint-linux/dafsa submodule (vendor/dafsa) Deploy docs to GitHub Pages #33: Commit 8eebbcc pushed by jmars
21s main
main
21s
pages build and deployment pages-build-deployment #35: by jmars
52s main
main
52s
Remove fxstore tool block — moved to its own repo (fixpoint-linux/fxs… Deploy docs to GitHub Pages #32: Commit 4f98311 pushed by jmars
23s main
main
23s
pages build and deployment pages-build-deployment #34: by jmars
42s main
main
42s
docs: move fixpoint-linux link into the nav (as rightmost item), drop… Deploy docs to GitHub Pages #31: Commit 7b0345f pushed by jmars
16s main
main
16s
pages build and deployment pages-build-deployment #33: by jmars
45s main
main
45s
docs: fix nav overflow at 780px — let the nav wrap to a second row Deploy docs to GitHub Pages #30: Commit f3c7bd5 pushed by jmars
21s main
main
21s
pages build and deployment pages-build-deployment #32: by jmars
45s main
main
45s
docs: match fixpoint-linux/dhake style exactly; add fixpoint-linux li… Deploy docs to GitHub Pages #29: Commit e18180d pushed by jmars
20s main
main
20s
pages build and deployment pages-build-deployment #31: by jmars
42s main
main
42s
docs: remove Playground from the nav on every page; the index hero CT… Deploy docs to GitHub Pages #28: Commit 19236df pushed by jmars
21s main
main
21s
pages build and deployment pages-build-deployment #30: by jmars
46s main
main
46s