Skip to content

Actions: Deducteam/lean2dk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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(deps): pin lean4less to df479f2 (unit-eta elimination) Tests #154: Commit 29f9856 pushed by rish987
6m 28s claude-stable
claude-stable
6m 28s
ci: translate-only smoke test; comment out unit-eta-dependent test Tests #153: Commit 471208f pushed by rish987
2m 49s main
main
2m 49s
ci: build + translation smoke test on fixtures.Test Tests #152: Commit a014580 pushed by rish987
5m 44s claude-stable
claude-stable
5m 44s
feat: enable unit-eta elimination; add unit-eta test fixture Tests #151: Commit 4d984b9 pushed by rish987
10m 26s claude-stable
claude-stable
10m 26s
docs: note claude-stable as the most feature-complete branch (Lean v4… Tests #150: Commit 476ef7b pushed by rish987
9m 28s main
main
9m 28s
docs: README — patched-Dedukti rationale, build/run, and stubbing cav… Tests #149: Commit 8ea4472 pushed by rish987
9m 1s claude-stable
claude-stable
9m 1s
Revert "perf(trans): canonicalize universe levels in fromLevel' (Leve… Tests #148: Commit 1c4fc61 pushed by rish987
7m 35s claude-stable
claude-stable
7m 35s
fix(trans): don't emit struct-eta rule when there are no projectable … Tests #147: Commit 308d111 pushed by rish987
8m 52s claude-stable
claude-stable
8m 52s
feat: cascade stubbing with opaque types for type-infeasible constants Tests #146: Commit 11c06ab pushed by rish987
9m 3s claude-stable
claude-stable
9m 3s
feat: stub constants requiring infeasible primitive Nat ops Tests #145: Commit 6bbc0f2 pushed by rish987
9m 1s claude-stable
claude-stable
9m 1s
fix(trans): use real index terms in recursor rewrite rules Tests #144: Commit 8cb6886 pushed by rish987
9m 17s claude-stable
claude-stable
9m 17s
fix(macos): patch __DATA_CONST SG_READ_ONLY flag on lean2dk binary Tests #143: Commit 8b8830d pushed by rish987
11m 46s claude-stable
claude-stable
11m 46s
stable build Tests #142: Commit 292a2dc pushed by rish987
9m 8s stable
stable
9m 8s
stable build Tests #141: Commit ee90af6 pushed by rish987
7m 32s stable
stable
7m 32s
wip Tests #140: Commit 84bb8c1 pushed by rish987
9m 37s thesis
thesis
9m 37s
wip Tests #139: Commit a8e9f0c pushed by rish987
6m 8s thesis
thesis
6m 8s
wip Tests #138: Commit fdd9bae pushed by rish987
5m 37s thesis
thesis
5m 37s
wip Tests #137: Commit 6b6ecf5 pushed by rish987
9m 56s thesis
thesis
9m 56s
wip Tests #136: Commit ff2aa2d pushed by rish987
9m 14s thesis
thesis
9m 14s
misc Tests #135: Commit 6d74848 pushed by rish987
9m 3s main
main
9m 3s
chore: toolchain update Tests #134: Commit 2ca4418 pushed by rish987
11m 7s main
main
11m 7s