Skip to content

Actions: trishullab/itp-interface

Actions

Build, Package, and Test (Python 3.14 Free-Threading)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-build-actions-python314t.yaml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Major release with final round of fixes. Build, Package, and Test (Python 3.14 Free-Threading) #66: Pull request #66 synchronize by amit9oct
21m 1s bug/complicated-have
bug/complicated-have
21m 1s
Major release with final round of fixes. Build, Package, and Test (Python 3.14 Free-Threading) #65: Pull request #66 synchronize by amit9oct
1h 1m 9s bug/complicated-have
bug/complicated-have
1h 1m 9s
Major release with final round of fixes. Build, Package, and Test (Python 3.14 Free-Threading) #64: Pull request #66 synchronize by amit9oct
21m 31s bug/complicated-have
bug/complicated-have
21m 31s
Major release with final round of fixes. Build, Package, and Test (Python 3.14 Free-Threading) #63: Pull request #66 opened by amit9oct
18m 23s bug/complicated-have
bug/complicated-have
18m 23s
Merge pull request #65 from trishullab/bug/complicated-have Build, Package, and Test (Python 3.14 Free-Threading) #62: Commit 150f8b2 pushed by amit9oct
22m 16s main
main
22m 16s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #61: Pull request #65 synchronize by amit9oct
22m 24s bug/complicated-have
bug/complicated-have
22m 24s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #60: Pull request #65 synchronize by amit9oct
21m 55s bug/complicated-have
bug/complicated-have
21m 55s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #59: Pull request #65 synchronize by amit9oct
23m 59s bug/complicated-have
bug/complicated-have
23m 59s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #58: Pull request #65 synchronize by amit9oct
1h 6m 4s bug/complicated-have
bug/complicated-have
1h 6m 4s
Bug/complicated have Build, Package, and Test (Python 3.14 Free-Threading) #57: Pull request #65 opened by amit9oct
1h 6m 8s bug/complicated-have
bug/complicated-have
1h 6m 8s
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 (Python 3.14 Free-Threading) #54: Pull request #64 opened by amit9oct
21m 55s bug/complicated-have
bug/complicated-have
21m 55s
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
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
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
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 (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
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
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
Revampped the Lean 4 execution framework; Removed REPL dependency Build, Package, and Test (Python 3.14 Free-Threading) #45: Pull request #61 synchronize by amit9oct
23m 6s feature/tactic-parsing-strong-validation
feature/tactic-parsing-strong-validation
23m 6s
Revampped the Lean 4 execution framework; Removed REPL dependency Build, Package, and Test (Python 3.14 Free-Threading) #44: Pull request #61 synchronize by amit9oct
20m 2s feature/tactic-parsing-strong-validation
feature/tactic-parsing-strong-validation
20m 2s
Revampped the Lean 4 execution framework; Removed REPL dependency Build, Package, and Test (Python 3.14 Free-Threading) #43: Pull request #61 synchronize by amit9oct
19m 2s feature/tactic-parsing-strong-validation
feature/tactic-parsing-strong-validation
19m 2s
Revampped the Lean 4 execution framework; Removed REPL dependency Build, Package, and Test (Python 3.14 Free-Threading) #42: Pull request #61 synchronize by amit9oct
20m 11s feature/tactic-parsing-strong-validation
feature/tactic-parsing-strong-validation
20m 11s