Skip to content

Actions: trishullab/itp-interface

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #64 from trishullab/bug/complicated-have Build, Package, and Test #122: Commit 6a7b681 pushed by amit9oct
21m 56s main
main
21m 56s
Merge pull request #64 from trishullab/bug/complicated-have Build, Package, and Test (Python 3.14 Free-Threading) #56: Commit 6a7b681 pushed by amit9oct
21m 12s main
main
21m 12s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #55: Pull request #64 synchronize by amit9oct
23m 35s bug/complicated-have
bug/complicated-have
23m 35s
Bug/complicated have Build, Package, and Test #121: Pull request #64 synchronize by amit9oct
22m 38s bug/complicated-have
bug/complicated-have
22m 38s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #54: Pull request #64 opened by amit9oct
21m 55s bug/complicated-have
bug/complicated-have
21m 55s
Bug/complicated have Build, Package, and Test #120: Pull request #64 opened by amit9oct
20m 56s bug/complicated-have
bug/complicated-have
20m 56s
Publish to PyPI Publish to PyPI #18: Manually run by amit9oct
44s main
main
44s
Merge pull request #63 from trishullab/bug/complicated-have Build, Package, and Test (Python 3.14 Free-Threading) #53: Commit 54889a5 pushed by amit9oct
23m 8s main
main
23m 8s
Merge pull request #63 from trishullab/bug/complicated-have Build, Package, and Test #119: Commit 54889a5 pushed by amit9oct
22m 46s main
main
22m 46s
Bug/complicated have Build, Package, and Test #118: Pull request #63 opened by amit9oct
19m 51s bug/complicated-have
bug/complicated-have
19m 51s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #52: Pull request #63 opened by amit9oct
22m 25s bug/complicated-have
bug/complicated-have
22m 25s
Publish to PyPI Publish to PyPI #17: Manually run by amit9oct
51s main
main
51s
Merge pull request #62 from trishullab/feature/itp-interface-backward… Build, Package, and Test (Python 3.14 Free-Threading) #51: Commit effc925 pushed by amit9oct
22m 3s main
main
22m 3s
Merge pull request #62 from trishullab/feature/itp-interface-backward… Build, Package, and Test #117: Commit effc925 pushed by amit9oct
21m 37s main
main
21m 37s
Made tactic parser backwards compatible till Lean 4 v4.15.0 Build, Package, and Test #116: Pull request #62 synchronize by amit9oct
22m 24s feature/itp-interface-backward-compat
feature/itp-interface-backward-compat
22m 24s
Made tactic parser backwards compatible till Lean 4 v4.15.0 Build, Package, and Test (Python 3.14 Free-Threading) #50: Pull request #62 synchronize by amit9oct
21m 41s feature/itp-interface-backward-compat
feature/itp-interface-backward-compat
21m 41s
Made tactic parser backwards compatible till Lean 4 v4.15.0 Build, Package, and Test (Python 3.14 Free-Threading) #49: Pull request #62 synchronize by amit9oct
21m 32s feature/itp-interface-backward-compat
feature/itp-interface-backward-compat
21m 32s
Made tactic parser backwards compatible till Lean 4 v4.15.0 Build, Package, and Test #115: Pull request #62 synchronize by amit9oct
21m 30s feature/itp-interface-backward-compat
feature/itp-interface-backward-compat
21m 30s
Made tactic parser backwards compatible till Lean 4 v4.15.0 Build, Package, and Test #114: Pull request #62 opened by amit9oct
25m 42s feature/itp-interface-backward-compat
feature/itp-interface-backward-compat
25m 42s
Made tactic parser backwards compatible till Lean 4 v4.15.0 Build, Package, and Test (Python 3.14 Free-Threading) #48: Pull request #62 opened by amit9oct
22m 24s feature/itp-interface-backward-compat
feature/itp-interface-backward-compat
22m 24s
Publish to PyPI Publish to PyPI #16: Manually run by amit9oct
42s main
main
42s
Merge pull request #61 from trishullab/feature/tactic-parsing-strong-… Build, Package, and Test (Python 3.14 Free-Threading) #47: Commit ee5de39 pushed by amit9oct
22m 27s main
main
22m 27s
Merge pull request #61 from trishullab/feature/tactic-parsing-strong-… Build, Package, and Test #113: Commit ee5de39 pushed by amit9oct
22m 2s main
main
22m 2s
Revampped the Lean 4 execution framework; Removed REPL dependency Build, Package, and Test #112: Pull request #61 synchronize by amit9oct
21m 7s feature/tactic-parsing-strong-validation
feature/tactic-parsing-strong-validation
21m 7s
Revampped the Lean 4 execution framework; Removed REPL dependency Build, Package, and Test (Python 3.14 Free-Threading) #46: Pull request #61 synchronize by amit9oct
21m 35s feature/tactic-parsing-strong-validation
feature/tactic-parsing-strong-validation
21m 35s