Skip to content

Actions: fixpoint-linux/datalog-dafsa

Actions

Deploy datalog-dafsa site

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
31 workflow runs
31 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
docs: state the cycle-granularity WAL durability contract Deploy datalog-dafsa site #31: Commit 094c2f0 pushed by jmars
43s main
main
43s
dlp: port the C dl-project tool to Zig (last first-party C) Deploy datalog-dafsa site #30: Commit 350e56d pushed by jmars
1m 1s main
main
1m 1s
zig: eliminate C internal-header deps after the dafsa Zig port Deploy datalog-dafsa site #29: Commit 332ed9b pushed by jmars
48s main
main
48s
zig/abi_audit.sh: drop dafsa_internal.h (vendor pin keeps only public… Deploy datalog-dafsa site #28: Commit f5acb69 pushed by jmars
36s main
main
36s
dl: add dl_snapshot_relations — enumerate a snapshot manifest's relat… Deploy datalog-dafsa site #27: Commit bb74ce2 pushed by jmars
40s main
main
40s
remove the C oracle implementations (src/*.c); keep the public-ABI he… Deploy datalog-dafsa site #26: Commit 5c7b8cc pushed by jmars
51s main
main
51s
trim Makefile to the deferred C++ embed/ggml targets only Deploy datalog-dafsa site #25: Commit 4e42777 pushed by jmars
34s main
main
34s
wire to the dafsa Zig engine (drop vendored dafsa C); bump vendor/daf… Deploy datalog-dafsa site #24: Commit e87a25b pushed by jmars
46s main
main
46s
remove WebAssembly playground build (emscripten wasm machinery) Deploy datalog-dafsa site #23: Commit 3fd9923 pushed by jmars
46s main
main
46s
vendor/dafsa: bump to eace5d3 (Zig engine + MAX_WORD_LEN 65536) Deploy datalog-dafsa site #22: Commit 14ed9d7 pushed by jmars
49s main
main
49s
index rebuild: incremental skip (O(new content)) + grow mutable forwa… Deploy datalog-dafsa site #21: Commit dcc0cc4 pushed by jmars
12s main
main
12s
semantic search over observation content: corpus-namespaced vector ti… Deploy datalog-dafsa site #20: Commit e630eef pushed by jmars
14s main
main
14s
fix dl_index_observations short-circuit: compare distinct postings ob… Deploy datalog-dafsa site #19: Commit d09c56c pushed by jmars
17s main
main
17s
make forward symbol DAFSA a pure cache; write only symbols.array on t… Deploy datalog-dafsa site #18: Commit 9dc577a pushed by jmars
16s main
main
16s
test: parallel test harness + per-test timing Deploy datalog-dafsa site #17: Commit 1c9859a pushed by jmars
36s main
main
36s
lazy-load forward symbol DAFSA + guard clean-close save Deploy datalog-dafsa site #16: Commit dfbd99e pushed by jmars
16s main
main
16s
lift interner symbol cap to 65536 (heap key_buf) and make regex symbo… Deploy datalog-dafsa site #15: Commit d977e54 pushed by jmars
11s main
main
11s
interner: escape backslash/newline in symbols.array so embedded newli… Deploy datalog-dafsa site #14: Commit f8572b1 pushed by jmars
47s main
main
47s
Add read-only arbitrary-rule query API (dl_query_rules_ro) Deploy datalog-dafsa site #13: Commit c5c7e6d pushed by jmars
38s main
main
38s
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