Skip to content

Actions: lenianiva/PyPantograph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Test Codes Python Package #4: Pull request #54 synchronize by RexWzh
December 21, 2024 07:25 Action required Lean-zh:dev
Lean-zh:dev
December 21, 2024 07:25 Action required
Add Test Codes Python Package #3: Pull request #54 synchronize by RexWzh
December 20, 2024 21:24 Action required Lean-zh:dev
Lean-zh:dev
December 20, 2024 21:24 Action required
Add Test Codes Python Package #2: Pull request #54 synchronize by RexWzh
December 20, 2024 21:17 Action required Lean-zh:dev
Lean-zh:dev
December 20, 2024 21:17 Action required
Add Test Codes Python Package #1: Pull request #54 synchronize by RexWzh
December 20, 2024 20:14 Action required Lean-zh:dev
Lean-zh:dev
December 20, 2024 20:14 Action required
Merge pull request #50 from lenianiva/misc/version deploy-docs #23: Commit 4badb8a pushed by lenianiva
December 12, 2024 05:31 1m 13s main
main
December 12, 2024 05:31 1m 13s
Merge pull request #49 from lenianiva/bug/wheel deploy-docs #22: Commit 3099756 pushed by lenianiva
December 11, 2024 01:27 1m 22s main
main
December 11, 2024 01:27 1m 22s
Merge pull request #47 from lenianiva/feat/tactic-extraction deploy-docs #21: Commit 605fbd0 pushed by lenianiva
December 6, 2024 01:30 1m 23s main
main
December 6, 2024 01:30 1m 23s
Merge pull request #37 from sorgfresser/add-mcts-agent deploy-docs #20: Commit 70544d4 pushed by lenianiva
November 12, 2024 05:04 1m 35s main
main
November 12, 2024 05:04 1m 35s
Merge pull request #42 from lenianiva/feat/search deploy-docs #19: Commit 92a50b0 pushed by lenianiva
October 31, 2024 01:31 1m 18s main
main
October 31, 2024 01:31 1m 18s
feat: add state specific tactic feedback deploy-docs #18: Commit b89f3a1 pushed by lenianiva
October 31, 2024 00:08 1m 21s main
main
October 31, 2024 00:08 1m 21s
doc: Clarify data deploy-docs #17: Commit 93ecd0d pushed by lenianiva
October 25, 2024 16:58 1m 14s main
main
October 25, 2024 16:58 1m 14s
build: Remove doc regeneration on doc/main deploy-docs #16: Commit e1d27d6 pushed by lenianiva
October 23, 2024 05:26 1m 22s main
main
October 23, 2024 05:26 1m 22s
chore: Update upstream deploy-docs #15: Commit 206f492 pushed by lenianiva
October 21, 2024 17:19 1m 13s main
main
October 21, 2024 17:19 1m 13s
Merge pull request #34 from lenianiva/doc/main deploy-docs #14: Commit 70e2f2e pushed by lenianiva
October 21, 2024 02:35 1m 15s main
main
October 21, 2024 02:35 1m 15s
fix: Disable notebook execution deploy-docs #13: Commit 817d708 pushed by lenianiva
October 21, 2024 02:29 1m 10s doc/main
doc/main
October 21, 2024 02:29 1m 10s
doc: Add comprehensive documentation deploy-docs #12: Commit 7a2278c pushed by lenianiva
October 21, 2024 02:23 1m 32s doc/main
doc/main
October 21, 2024 02:23 1m 32s
doc: autodocs for expr and data deploy-docs #11: Commit 75221cc pushed by lenianiva
October 20, 2024 16:52 1m 11s doc/main
doc/main
October 20, 2024 16:52 1m 11s
fix: Remove lake version check deploy-docs #10: Commit 1f3784d pushed by lenianiva
October 18, 2024 22:41 1m 16s doc/main
doc/main
October 18, 2024 22:41 1m 16s
fix: Checkout submodules deploy-docs #9: Commit 1b05419 pushed by lenianiva
October 18, 2024 22:39 19s doc/main
doc/main
October 18, 2024 22:39 19s
fix: Move elan to next step deploy-docs #8: Commit 1c017e3 pushed by lenianiva
October 18, 2024 22:38 17s doc/main
doc/main
October 18, 2024 22:38 17s
fix: Install Lean toolchain deploy-docs #7: Commit 0fef9e2 pushed by lenianiva
October 18, 2024 22:37 15s doc/main
doc/main
October 18, 2024 22:37 15s
chore: Fix build task names and check lake deploy-docs #6: Commit 92edb0d pushed by lenianiva
October 18, 2024 22:35 14s doc/main
doc/main
October 18, 2024 22:35 14s
fix: Install elan in pipeline deploy-docs #5: Commit 5379b0a pushed by lenianiva
October 18, 2024 22:30 31s doc/main
doc/main
October 18, 2024 22:30 31s
fix: Doc building in poetry deploy-docs #4: Commit dd6efc8 pushed by lenianiva
October 18, 2024 22:28 28s doc/main
doc/main
October 18, 2024 22:28 28s
doc: Stub on setup and drafting deploy-docs #3: Commit 39b9e07 pushed by lenianiva
October 18, 2024 22:20 41s doc/main
doc/main
October 18, 2024 22:20 41s