Skip to content

Actions: trishullab/itp-interface

Actions

Build, Package, and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-build-actions.yaml
107 workflow runs
107 workflow runs

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
Merge pull request #74 from trishullab/feature/new-datasets Build, Package, and Test #175: Commit c93f29b pushed by amit9oct
23m 32s main
main
23m 32s
Feature/new datasets Build, Package, and Test #174: Pull request #74 synchronize by amit9oct
22m 57s feature/new-datasets
feature/new-datasets
22m 57s
Feature/new datasets Build, Package, and Test #173: Pull request #74 synchronize by amit9oct
24m 6s feature/new-datasets
feature/new-datasets
24m 6s
Feature/new datasets Build, Package, and Test #172: Pull request #74 synchronize by amit9oct
4m 45s feature/new-datasets
feature/new-datasets
4m 45s
Feature/new datasets Build, Package, and Test #171: Pull request #74 synchronize by amit9oct
4m 51s feature/new-datasets
feature/new-datasets
4m 51s
Feature/new datasets Build, Package, and Test #170: Pull request #74 opened by amit9oct
4m 55s feature/new-datasets
feature/new-datasets
4m 55s
Merge pull request #73 from trishullab/feat/lean-v4_30 Build, Package, and Test #169: Commit 264731f pushed by amit9oct
18m 42s main
main
18m 42s
Update Python environment setup and support Lean 4 v4.30.0 Build, Package, and Test #168: Pull request #73 synchronize by amit9oct
21m 6s feat/lean-v4_30
feat/lean-v4_30
21m 6s
Update Python environment setup and support Lean 4 v4.30.0 Build, Package, and Test #167: Pull request #73 opened by amit9oct
4m 12s feat/lean-v4_30
feat/lean-v4_30
4m 12s
Merge pull request #72 from ChakshuGupta13/lean-v4.27-support Build, Package, and Test #166: Commit 7129d8f pushed by amit9oct
21m 9s main
main
21m 9s
Support Lean 4 v4.27 in tactic_parser Build, Package, and Test #165: Pull request #72 synchronize by ChakshuGupta13
21m 10s ChakshuGupta13:lean-v4.27-support
ChakshuGupta13:lean-v4.27-support
21m 10s
Support Lean 4 v4.27 in tactic_parser Build, Package, and Test #163: Pull request #72 synchronize by ChakshuGupta13
4m 29s ChakshuGupta13:lean-v4.27-support
ChakshuGupta13:lean-v4.27-support
4m 29s
Merge pull request #69 from trishullab/feature/add_default_tactics Build, Package, and Test #161: Commit c3e1065 pushed by amit9oct
19m 45s main
main
19m 45s
Feature/add default tactics Build, Package, and Test #160: Pull request #69 synchronize by amit9oct
21m 41s feature/add_default_tactics
feature/add_default_tactics
21m 41s
Feature/add default tactics Build, Package, and Test #159: Pull request #69 synchronize by amit9oct
20m 54s feature/add_default_tactics
feature/add_default_tactics
20m 54s
Feature/add default tactics Build, Package, and Test #158: Pull request #69 opened by amit9oct
21m 29s feature/add_default_tactics
feature/add_default_tactics
21m 29s
Merge pull request #68 from trishullab/bug/theorem-detection Build, Package, and Test #157: Commit df0c2a6 pushed by amit9oct
21m 18s main
main
21m 18s
Refactor theorem extraction and declaration preprocessing Build, Package, and Test #156: Pull request #68 synchronize by amit9oct
22m 0s bug/theorem-detection
bug/theorem-detection
22m 0s
Refactor theorem extraction and declaration preprocessing Build, Package, and Test #155: Pull request #68 synchronize by amit9oct
21m 10s bug/theorem-detection
bug/theorem-detection
21m 10s
Refactor theorem extraction and declaration preprocessing Build, Package, and Test #154: Pull request #68 synchronize by amit9oct
21m 6s bug/theorem-detection
bug/theorem-detection
21m 6s
Refactor theorem extraction and declaration preprocessing Build, Package, and Test #153: Pull request #68 synchronize by amit9oct
22m 10s bug/theorem-detection
bug/theorem-detection
22m 10s
Refactor theorem extraction and declaration preprocessing Build, Package, and Test #152: Pull request #68 opened by amit9oct
3m 55s bug/theorem-detection
bug/theorem-detection
3m 55s
Merge pull request #67 from trishullab/feature/graph-creation Build, Package, and Test #151: Commit 98dc9c9 pushed by amit9oct
23m 20s main
main
23m 20s
Feature/graph creation Build, Package, and Test #150: Pull request #67 synchronize by amit9oct
23m 44s feature/graph-creation
feature/graph-creation
23m 44s
Feature/graph creation Build, Package, and Test #149: Pull request #67 synchronize by amit9oct
24m 18s feature/graph-creation
feature/graph-creation
24m 18s