Skip to content

Actions: BasisResearch/lean.py

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 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 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
Add missing Regex static lib to managed project CI #52: Pull request #5 opened by kiranandcode
7m 35s fix-regex-link
fix-regex-link
7m 35s
Add Regex/Regex:static to managed project moreLinkObjs CI #51: Commit 21e4340 pushed by kiranandcode
6m 37s fix-regex-link
fix-regex-link
6m 37s
Read commit hash from pip metadata instead of guessing version tag (#4) Deploy documentation to Pages #8: Commit 0294940 pushed by kiranandcode
33s main
main
33s
Read commit hash from pip metadata instead of guessing version tag (#4) CI #50: Commit 0294940 pushed by kiranandcode
6m 19s main
main
6m 19s
Read commit hash from pip metadata for git rev CI #49: Pull request #4 opened by kiranandcode
6m 14s fix-git-rev
fix-git-rev
6m 14s
Read commit hash from pip metadata instead of guessing version tag CI #48: Commit f6668c4 pushed by kiranandcode
6m 54s fix-git-rev
fix-git-rev
6m 54s
Use actual commit hash from pip metadata for git rev fallback CI #47: Commit ac29485 pushed by kiranandcode
7m 7s fix-pip-install
fix-pip-install
7m 7s
Fix pip install; ManagedProject falls back to git dep when not in a d… Deploy documentation to Pages #7: Commit 052377f pushed by kiranandcode
34s main
main
34s
Fix pip install; ManagedProject falls back to git dep when not in a d… CI #46: Commit 052377f pushed by kiranandcode
5m 41s main
main
5m 41s
Fix pip install; eliminate deferred imports CI #45: Pull request #3 opened by kiranandcode
7m 45s fix-pip-install
fix-pip-install
7m 45s
Fix pip install; ManagedProject falls back to git dep when not in a d… CI #44: Commit cf94979 pushed by kiranandcode
6m 47s fix-pip-install
fix-pip-install
6m 47s