Skip to content

Actions: BasisResearch/lean.py

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 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
Harden the C bridge; add stub, wheel, and type-check tooling (#13) Deploy documentation to Pages #17: Commit 5c972d1 pushed by kiranandcode
28s main
main
28s
Harden the C bridge; add stub, wheel, and type-check tooling (#13) CI #74: Commit 5c972d1 pushed by kiranandcode
7m 11s main
main
7m 11s
Harden the C bridge; add stub, wheel, and type-check tooling CI #73: Pull request #13 synchronize by kiranandcode
7m 59s ffi-hardening-and-tooling
ffi-hardening-and-tooling
7m 59s
Fix lint: ruff format, drop unused import, mypy None-guard CI #72: Commit 8ea6b73 pushed by kiranandcode
13m 0s ffi-hardening-and-tooling
ffi-hardening-and-tooling
13m 0s
Harden the C bridge; add stub, wheel, and type-check tooling CI #71: Pull request #13 opened by kiranandcode
9m 7s ffi-hardening-and-tooling
ffi-hardening-and-tooling
9m 7s
Harden C bridge; add stub, wheel, and type-check tooling CI #70: Commit d0fc8ef pushed by kiranandcode
6m 56s ffi-hardening-and-tooling
ffi-hardening-and-tooling
6m 56s
Fix/datatype uninterpreted sort (#12) Deploy documentation to Pages #16: Commit a626fcb pushed by kiranandcode
34s main
main
34s
Fix/datatype uninterpreted sort (#12) CI #69: Commit a626fcb pushed by kiranandcode
6m 38s main
main
6m 38s
Fix/datatype uninterpreted sort CI #68: Pull request #12 opened by kiranandcode
7m 11s fix/datatype-uninterpreted-sort
fix/datatype-uninterpreted-sort
7m 11s
Add CI lint job (ruff format, ruff check, mypy) and fix all violations CI #67: Commit 4c3b998 pushed by kiranandcode
6m 20s fix/datatype-uninterpreted-sort
fix/datatype-uninterpreted-sort
6m 20s
Fix RealVal() fraction string parsing and stage prior uncommitted wor… CI #66: Commit b575f53 pushed by kiranandcode
2m 31s main
main
2m 31s
Fix RealVal() fraction string parsing and stage prior uncommitted wor… Deploy documentation to Pages #15: Commit b575f53 pushed by kiranandcode
29s main
main
29s
Fix RealVal() fraction string parsing and stage prior uncommitted work CI #65: Pull request #11 opened by kiranandcode
5m 35s fix/realval-fraction-parsing
fix/realval-fraction-parsing
5m 35s
Remove dead _CharSortRef alias CI #64: Commit ad95e8d pushed by kiranandcode
6m 1s fix/realval-fraction-parsing
fix/realval-fraction-parsing
6m 1s
Fix RealVal() fraction string parsing and stage prior uncommitted work CI #63: Commit 23e1444 pushed by kiranandcode
7m 45s fix/realval-fraction-parsing
fix/realval-fraction-parsing
7m 45s
Fix Z3.lean build: List.get! → List.getD (removed in Lean 4.29.1) Deploy documentation to Pages #14: Commit ab8f529 pushed by kiranandcode
27s main
main
27s
Fix Z3.lean build: List.get! → List.getD (removed in Lean 4.29.1) CI #62: Commit ab8f529 pushed by kiranandcode
6m 31s main
main
6m 31s
Fix typo in z3py-guide.md title CI #61: Commit 17d19ae pushed by kiranandcode
5m 47s main
main
5m 47s
Fix typo in z3py-guide.md title Deploy documentation to Pages #13: Commit 17d19ae pushed by kiranandcode
33s main
main
33s
Update title of z3py guide for clarity CI #60: Commit 844e851 pushed by kiranandcode
6m 51s main
main
6m 51s
Update title of z3py guide for clarity Deploy documentation to Pages #12: Commit 844e851 pushed by kiranandcode
28s main
main
28s
Reframe z3py guide intro around Lean as a symbolic reasoning engine (#7) CI #59: Commit 2258810 pushed by kiranandcode
6m 10s main
main
6m 10s
Reframe z3py guide intro around Lean as a symbolic reasoning engine (#7) Deploy documentation to Pages #11: Commit 2258810 pushed by kiranandcode
30s main
main
30s
Reframe z3py guide intro around Lean as symbolic reasoning engine CI #58: Pull request #7 opened by kiranandcode
5m 44s z3py-guide-narrative
z3py-guide-narrative
5m 44s
Reframe z3py guide intro around Lean as a symbolic reasoning engine CI #57: Commit c7fee08 pushed by kiranandcode
5m 45s z3py-guide-narrative
z3py-guide-narrative
5m 45s