Skip to content

Actions: JetBrains-Research/coqpilot

Actions

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

Fix branches pattern on CI Build and test #2: Commit 479f436 pushed by GlebSolovev
May 23, 2024 22:30 Failure v2.2.2-dev
v2.2.2-dev
May 23, 2024 22:30 Failure
Refactor CI, make publishing manual Build and test #1: Commit 8c56849 pushed by GlebSolovev
May 23, 2024 22:17 Failure v2.2.2-fix-dev
v2.2.2-fix-dev
May 23, 2024 22:17 Failure
release: v2.2.2+0.1.8+8.19 Build and Test #80: Commit 5df61e6 pushed by K-dizzled
May 23, 2024 20:18 12m 14s main
main
May 23, 2024 20:18 12m 14s
release: v2.2.1+0.1.8+8.19 Build and Test #79: Commit eccfb46 pushed by K-dizzled
May 23, 2024 19:52 6m 16s main
main
May 23, 2024 19:52 6m 16s
release: v2.2.0+0.1.8+8.19 Build and Test #78: Commit c3ffcfe pushed by K-dizzled
May 23, 2024 08:48 32s main
main
May 23, 2024 08:48 32s
Merge pull request #25 from JetBrains-Research/v2.2.0-dev Build and Test #77: Commit 666ab40 pushed by K-dizzled
May 23, 2024 08:42 3m 24s main
main
May 23, 2024 08:42 3m 24s
release: v2.2.0+0.1.8+8.19 Build and Test #76: Pull request #25 opened by K-dizzled
May 23, 2024 08:41 22s v2.2.0-dev
v2.2.0-dev
May 23, 2024 08:41 22s
Major LLM services and UI improvement Build and Test #75: Pull request #23 synchronize by GlebSolovev
May 23, 2024 06:28 5m 8s llm-services-improvement
llm-services-improvement
May 23, 2024 06:28 5m 8s
Major LLM services and UI improvement Build and Test #74: Pull request #23 synchronize by GlebSolovev
May 23, 2024 06:13 5m 59s llm-services-improvement
llm-services-improvement
May 23, 2024 06:13 5m 59s
Major LLM services and UI improvement Build and Test #73: Pull request #23 synchronize by GlebSolovev
May 23, 2024 06:00 10m 4s llm-services-improvement
llm-services-improvement
May 23, 2024 06:00 10m 4s
Major LLM services and UI improvement Build and Test #72: Pull request #23 synchronize by GlebSolovev
May 23, 2024 05:39 8m 5s llm-services-improvement
llm-services-improvement
May 23, 2024 05:39 8m 5s
Major LLM services and UI improvement Build and Test #71: Pull request #23 synchronize by GlebSolovev
May 23, 2024 05:26 9m 6s llm-services-improvement
llm-services-improvement
May 23, 2024 05:26 9m 6s
Major LLM services and UI improvement Build and Test #70: Pull request #23 synchronize by GlebSolovev
May 22, 2024 16:41 8m 29s llm-services-improvement
llm-services-improvement
May 22, 2024 16:41 8m 29s
Major LLM services and UI improvement Build and Test #69: Pull request #23 synchronize by khram2003
May 22, 2024 14:47 8m 41s llm-services-improvement
llm-services-improvement
May 22, 2024 14:47 8m 41s
Major LLM services and UI improvement Build and Test #68: Pull request #23 synchronize by GlebSolovev
May 22, 2024 08:20 11m 30s llm-services-improvement
llm-services-improvement
May 22, 2024 08:20 11m 30s
Test CI Build and Test #67: Commit 1301f80 pushed by GlebSolovev
May 19, 2024 07:53 8m 23s llm-services-improvement
llm-services-improvement
May 19, 2024 07:53 8m 23s
Setup debugging for CI Build and Test #66: Commit c7b33eb pushed by GlebSolovev
May 19, 2024 07:10 18m 10s llm-services-improvement
llm-services-improvement
May 19, 2024 07:10 18m 10s
release: v2.1.0+0.1.8+8.19 Build and Test #65: Commit 02d6983 pushed by K-dizzled
May 11, 2024 13:40 11m 13s main
main
May 11, 2024 13:40 11m 13s
release: v2.1.0+0.1.8+8.19 Build and Test #64: Commit ff7bfc9 pushed by K-dizzled
May 11, 2024 13:38 36s main
main
May 11, 2024 13:38 36s
release: v2.1.0+0.1.8+8.19 Build and Test #63: Pull request #21 opened by K-dizzled
May 11, 2024 13:25 11m 51s v2.1.0-dev
v2.1.0-dev
May 11, 2024 13:25 11m 51s
Fix benchmarks, fix bugs, add imm Build and Test #62: Pull request #19 opened by K-dizzled
May 1, 2024 14:15 40s benchmark_small_testing
benchmark_small_testing
May 1, 2024 14:15 40s
release: v2.0.0+0.1.8+8.19 Build and Test #61: Commit 17e4be3 pushed by K-dizzled
March 8, 2024 13:22 11m 38s main
main
March 8, 2024 13:22 11m 38s
release: v2.0.0+0.1.8+8.19 Build and Test #60: Pull request #15 synchronize by K-dizzled
March 8, 2024 12:51 10m 53s v2.0.0-dev
v2.0.0-dev
March 8, 2024 12:51 10m 53s
Fix ci Build and Test #59: Commit 8ae3ef5 pushed by K-dizzled
February 28, 2024 22:38 7m 33s tests-refactor
tests-refactor
February 28, 2024 22:38 7m 33s
Fix ci Build and Test #58: Commit 54153ba pushed by K-dizzled
February 28, 2024 22:17 7m 29s tests-refactor
tests-refactor
February 28, 2024 22:17 7m 29s