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
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed build script; updated pydantic; fixed install race conditions Build, Package, and Test #57: Pull request #47 synchronize by amit9oct
16m 18s usr/amit9oct/install-script-fix
usr/amit9oct/install-script-fix
16m 18s
Fixed build script; updated pydantic; fixed install race conditions Build, Package, and Test #56: Pull request #47 opened by amit9oct
13m 59s usr/amit9oct/install-script-fix
usr/amit9oct/install-script-fix
13m 59s
Merge pull request #42 from trishullab/usr/amit9oct/install-script-fix Build, Package, and Test #55: Commit 6990366 pushed by amit9oct
15m 46s main
main
15m 46s
Fixed install script. Build, Package, and Test #54: Pull request #42 opened by amit9oct
15m 49s usr/amit9oct/install-script-fix
usr/amit9oct/install-script-fix
15m 49s
Merge pull request #39 from trishullab/filter_and_merge Build, Package, and Test #53: Commit 8868468 pushed by cs14b052
15m 36s main
main
15m 36s
Filter data points if they are on path to proof of a theorem during merge Build, Package, and Test #52: Pull request #39 opened by cs14b052
15m 26s filter_and_merge
filter_and_merge
15m 26s
Merge pull request #38 from trishullab/release Build, Package, and Test #51: Commit a2d6fb0 pushed by amit9oct
15m 22s main
main
15m 22s
Release merge back. Build, Package, and Test #50: Pull request #38 opened by amit9oct
15m 26s release
release
15m 26s
Merge pull request #36 from trishullab/usr/amit9oct/adding-hammer-mode Build, Package, and Test #49: Commit 95bea90 pushed by amit9oct
15m 45s main
main
15m 45s
Added HammerMode Build, Package, and Test #48: Pull request #36 opened by amit9oct
15m 27s usr/amit9oct/adding-hammer-mode
usr/amit9oct/adding-hammer-mode
15m 27s
Merge pull request #34 from trishullab/usr/amit9oct/bug-fixes Build, Package, and Test #47: Commit 86afb91 pushed by amit9oct
15m 39s main
main
15m 39s
Enchanments: Lean Qed Equivalent; Calc tactic tests. Build, Package, and Test #46: Pull request #34 synchronize by amit9oct
15m 21s usr/amit9oct/bug-fixes
usr/amit9oct/bug-fixes
15m 21s
Enchanments: Lean Qed Equivalent; Calc tactic tests. Build, Package, and Test #45: Pull request #34 opened by amit9oct
14m 49s usr/amit9oct/bug-fixes
usr/amit9oct/bug-fixes
14m 49s
Merge pull request #29 from trishullab/usr/amit9oct/simple-proof-env-… Build, Package, and Test #44: Commit 93247bb pushed by amit9oct
15m 23s main
main
15m 23s
Merge pull request #28 from trishullab/release Build, Package, and Test #43: Commit 6f3067d pushed by amit9oct
15m 30s main
main
15m 30s
Removed special case handling while calling an environment which has … Build, Package, and Test #42: Pull request #29 synchronize by amit9oct
15m 32s usr/amit9oct/simple-proof-env-rl-abstraction-uniform-tuple
usr/amit9oct/simple-proof-env-rl-abstraction-uniform-tuple
15m 32s
Removed special case handling while calling an environment which has … Build, Package, and Test #41: Pull request #29 opened by amit9oct
15m 32s usr/amit9oct/simple-proof-env-rl-abstraction-uniform-tuple
usr/amit9oct/simple-proof-env-rl-abstraction-uniform-tuple
15m 32s
Release merge back Build, Package, and Test #40: Pull request #28 opened by amit9oct
15m 35s release
release
15m 35s
Merge pull request #23 from trishullab/main Build, Package, and Test #39: Pull request #26 synchronize by amit9oct
15m 46s release
release
15m 46s
Merge pull request #25 from trishullab/usr/amit9oct/version-bump Build, Package, and Test #38: Commit 2cac9b5 pushed by amit9oct
15m 2s main
main
15m 2s
Merge pull request #23 from trishullab/main Build, Package, and Test #37: Pull request #26 opened by amit9oct
15m 14s release
release
15m 14s
version bump Build, Package, and Test #36: Pull request #25 opened by amit9oct
15m 14s usr/amit9oct/version-bump
usr/amit9oct/version-bump
15m 14s
Merge pull request #24 from trishullab/usr/amit9oct/lemma_name_detect… Build, Package, and Test #35: Commit 65d1eae pushed by amit9oct
15m 56s main
main
15m 56s
Fixed lemma_name prefix match bug Build, Package, and Test #34: Pull request #24 opened by amit9oct
17m 9s usr/amit9oct/lemma_name_detection_fix
usr/amit9oct/lemma_name_detection_fix
17m 9s
Merge pull request #22 from trishullab/usr/amit9oct/config-fix Build, Package, and Test #33: Commit e437b84 pushed by amit9oct
15m 41s main
main
15m 41s