Skip to content

Actions: lojban/tersmu

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 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
feat: add --indicator-texticules flag to expand attitudinals Build and Deploy WASM App #22: Commit 6a8696c pushed by lagleki
12m 44s master
master
12m 44s
feat: Fix quantifier lowering & add approx flags Build and Deploy WASM App #21: Commit db1203a pushed by lagleki
2m 27s master
master
2m 27s
feat: Earley-in-Egglog Parsing + Type Checking Build and Deploy WASM App #20: Commit b8491dc pushed by lagleki
14m 20s master
master
14m 20s
feat: add olog integration (feature flags olog and olog-egglog) Build and Deploy WASM App #19: Commit 6676e85 pushed by lagleki
2m 28s master
master
2m 28s
fix: pin wasm-bindgen-cli version and fix wasm output filename Build and Deploy WASM App #18: Commit cd2af0f pushed by lagleki
2m 25s master
master
2m 25s
Add equality saturation equivalence checking (equiv feature) Build and Deploy WASM App #17: Commit 97b9d38 pushed by lagleki
2m 14s master
master
2m 14s
feat: add optional egglog equality-saturation analysis mode Build and Deploy WASM App #16: Commit 4d1ae1f pushed by lagleki
14m 35s master
master
14m 35s
feat: add optional egglog equality-saturation analysis mode Build and Deploy WASM App #15: Commit 9030e50 pushed by lagleki
13m 10s master
master
13m 10s
feat: add --indicator-texticules flag to expand attitudinals Build and Deploy WASM App #14: Commit 6a8696c pushed by lagleki
14m 43s master
master
14m 43s
feat: add Prolog output card to web UI Build and Deploy WASM App #13: Commit e9e452a pushed by lagleki
2m 23s master
master
2m 23s
feat: add Prolog output card to web UI Build and Deploy WASM App #12: Commit ddc28b3 pushed by lagleki
1m 56s master
master
1m 56s
feat: add conversion to Prolog Build and Deploy WASM App #11: Commit ba74ce0 pushed by lagleki
1m 54s master
master
1m 54s
feat: Rename package from tersmu to camxes-rs Build and Deploy WASM App #10: Commit f3101f1 pushed by lagleki
2m 43s master
master
2m 43s
Add camxes parser library usage documentation Build and Deploy WASM App #9: Commit 7953139 pushed by lagleki
3m 20s master
master
3m 20s
Publish camxes-rs 0.2.0 crate Build and Deploy WASM App #8: Commit f0e2f20 pushed by lagleki
2m 37s master
master
2m 37s
Add camxes parser library usage documentation Build and Deploy WASM App #7: Commit 7953139 pushed by lagleki
2m 37s master
master
2m 37s
Remove pappyc/pappy parser generator tooling Build and Deploy WASM App #6: Commit be71f81 pushed by lagleki
2m 22s master
master
2m 22s
docs: add Haskell source attribution comments to Rust port Build and Deploy WASM App #5: Commit 743f7fb pushed by lagleki
2m 50s master
master
2m 50s
port to Rust with full parity and add CI/CD pipeline for dual WASM bu… Build and Deploy WASM App #4: Commit c150b7b pushed by lagleki
3m 54s master
master
3m 54s
port to Rust with full parity and add CI/CD pipeline for dual WASM bu… Build and Deploy WASM App #3: Commit 1c65e79 pushed by lagleki
3m 8s master
master
3m 8s
Achieve full Rust parity and add CI/CD pipeline for dual WASM builds Build and Deploy WASM App #2: Commit 8d76d77 pushed by lagleki
2m 28s master
master
2m 28s
Achieve full Rust parity: 945/945 muplis corpus + 20/20 core examples… Build and Deploy WASM App #1: Commit 5ac4156 pushed by lagleki
14m 34s master
master
14m 34s
pages build and deployment pages-build-deployment #51: by github-pages Bot
26s gh-pages
gh-pages
26s
Keep example test artifacts out of examples Build WASM App #66: Commit 23ec594 pushed by lagleki
17m 34s master
master
17m 34s
pages build and deployment pages-build-deployment #50: by github-pages Bot
25s gh-pages
gh-pages
25s