Skip to content

Actions: BasisResearch/lean.py

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 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/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
Add z3py guide to Sphinx docs via myst-parser (#6) CI #56: Commit b0dd846 pushed by kiranandcode
6m 15s main
main
6m 15s
Add z3py guide to Sphinx docs via myst-parser (#6) Deploy documentation to Pages #10: Commit b0dd846 pushed by kiranandcode
27s main
main
27s
Add z3py guide to Sphinx docs CI #55: Pull request #6 opened by kiranandcode
6m 36s docs-z3py-sphinx
docs-z3py-sphinx
6m 36s
Add z3py guide to Sphinx docs via myst-parser CI #54: Commit 8f124fc pushed by kiranandcode
7m 14s docs-z3py-sphinx
docs-z3py-sphinx
7m 14s
Add Regex/Regex:static to managed project moreLinkObjs (#5) Deploy documentation to Pages #9: Commit 5b09227 pushed by kiranandcode
38s main
main
38s
Add Regex/Regex:static to managed project moreLinkObjs (#5) CI #53: Commit 5b09227 pushed by kiranandcode
6m 4s main
main
6m 4s