Skip to content

Actions: JetBrains-Research/coqpilot

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and Test
Build and Test #32: by K-dizzled
November 9, 2023 00:44 1m 22s v1.4.2
November 9, 2023 00:44 1m 22s
Patch cd
Build and Test #31: Commit e5bef7e pushed by K-dizzled
November 8, 2023 18:41 17m 34s main
November 8, 2023 18:41 17m 34s
Patch cd
Build and Test #30: Commit 9d222aa pushed by K-dizzled
November 8, 2023 18:03 15m 41s main
November 8, 2023 18:03 15m 41s
Patch cd
Build and Test #29: Commit aaafa80 pushed by K-dizzled
November 8, 2023 17:41 14m 54s main
November 8, 2023 17:41 14m 54s
Patch cd
Build and Test #28: Commit c13f2ca pushed by K-dizzled
November 8, 2023 17:15 19m 56s main
November 8, 2023 17:15 19m 56s
Merge pull request #5 from K-dizzled/ui_improvements
Build and Test #27: Commit a3606a9 pushed by K-dizzled
November 8, 2023 16:48 9m 43s main
November 8, 2023 16:48 9m 43s
UI/UX improvements
Build and Test #26: Pull request #5 synchronize by K-dizzled
November 8, 2023 15:36 12m 37s ui_improvements
November 8, 2023 15:36 12m 37s
UI/UX improvements
Build and Test #25: Pull request #5 synchronize by K-dizzled
November 8, 2023 15:18 6m 51s ui_improvements
November 8, 2023 15:18 6m 51s
UI/UX improvements
Build and Test #24: Pull request #5 opened by K-dizzled
November 8, 2023 14:58 11m 32s ui_improvements
November 8, 2023 14:58 11m 32s
Merge pull request #4 from K-dizzled/single_tactic_solver
Build and Test #23: Commit 8ab2e70 pushed by K-dizzled
November 7, 2023 17:17 9m 28s main
November 7, 2023 17:17 9m 28s
Single tactic solver
Build and Test #22: Pull request #4 synchronize by K-dizzled
November 7, 2023 17:02 9m 11s single_tactic_solver
November 7, 2023 17:02 9m 11s
Single tactic solver
Build and Test #21: Pull request #4 synchronize by K-dizzled
November 7, 2023 16:50 6m 44s single_tactic_solver
November 7, 2023 16:50 6m 44s
Single tactic solver
Build and Test #20: Pull request #4 synchronize by K-dizzled
November 3, 2023 13:00 7m 2s single_tactic_solver
November 3, 2023 13:00 7m 2s
Single tactic solver
Build and Test #19: Pull request #4 opened by K-dizzled
November 3, 2023 12:57 1m 9s single_tactic_solver
November 3, 2023 12:57 1m 9s
Merge pull request #3 from K-dizzled/solve_all_admits
Build and Test #18: Commit c1adfb2 pushed by K-dizzled
October 31, 2023 16:14 15m 29s main
October 31, 2023 16:14 15m 29s
Solve all admits
Build and Test #17: Pull request #3 synchronize by K-dizzled
October 31, 2023 15:46 14m 35s solve_all_admits
October 31, 2023 15:46 14m 35s
Solve all admits
Build and Test #16: Pull request #3 opened by K-dizzled
October 31, 2023 15:42 1m 46s solve_all_admits
October 31, 2023 15:42 1m 46s
Merge pull request #2 from K-dizzled/client_refactoring
Build and Test #15: Commit c4a24e9 pushed by K-dizzled
October 29, 2023 10:42 19m 23s main
October 29, 2023 10:42 19m 23s
Refactor+ci+tests
Build and Test #14: Pull request #2 synchronize by K-dizzled
October 29, 2023 10:22 12m 47s client_refactoring
October 29, 2023 10:22 12m 47s
Refactor+ci+tests
Build and Test #13: Pull request #2 synchronize by K-dizzled
October 29, 2023 09:49 19m 7s client_refactoring
October 29, 2023 09:49 19m 7s
Refactor+ci+tests
Build and Test #12: Pull request #2 synchronize by K-dizzled
October 29, 2023 09:29 10m 27s client_refactoring
October 29, 2023 09:29 10m 27s
Refactor+ci+tests
Build and Test #11: Pull request #2 synchronize by K-dizzled
October 29, 2023 08:58 11m 3s client_refactoring
October 29, 2023 08:58 11m 3s
Refactor+ci+tests
Build and Test #10: Pull request #2 synchronize by K-dizzled
October 29, 2023 08:44 11m 22s client_refactoring
October 29, 2023 08:44 11m 22s
Refactor+ci+tests
Build and Test #9: Pull request #2 synchronize by K-dizzled
October 29, 2023 07:58 15m 55s client_refactoring
October 29, 2023 07:58 15m 55s