Skip to content

Actions: JetBrains-Research/coqpilot

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test.yml
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

📊 Test coverage & 🕵🏻 LLMService-s to ProofProvider-s renaming Build and test #89: Pull request #60 synchronize by GlebSolovev
May 25, 2025 20:46 17m 27s cleanup
cleanup
May 25, 2025 20:46 17m 27s
📊 Test coverage & 🕵🏻 LLMService-s to ProofProvider-s renaming Build and test #88: Pull request #60 opened by GlebSolovev
May 25, 2025 20:04 21m 4s cleanup
cleanup
May 25, 2025 20:04 21m 4s
🐝 Rework of LLMServices and ModelsParams, Benchmarking Improvements & Rango Fixes Build and test #87: Pull request #59 opened by GlebSolovev
May 13, 2025 20:30 17m 7s benchmarking-dev
benchmarking-dev
May 13, 2025 20:30 17m 7s
🚀🌟 External proof providers & Rango support Build and test #86: Pull request #58 synchronize by GlebSolovev
May 2, 2025 03:05 17m 2s rango-support
rango-support
May 2, 2025 03:05 17m 2s
🚀🌟 External proof providers & Rango support Build and test #85: Pull request #58 synchronize by GlebSolovev
May 2, 2025 02:18 20m 44s rango-support
rango-support
May 2, 2025 02:18 20m 44s
🚀🌟 External proof providers & Rango support Build and test #84: Pull request #58 synchronize by GlebSolovev
May 2, 2025 01:50 11m 44s rango-support
rango-support
May 2, 2025 01:50 11m 44s
🚀🌟 External proof providers & Rango support Build and test #83: Pull request #58 opened by GlebSolovev
May 2, 2025 01:19 11m 23s rango-support
rango-support
May 2, 2025 01:19 11m 23s
Release v2.4.3+0.2.2+8.19 Build and test #82: Commit b0f37ed pushed by K-dizzled
February 10, 2025 14:07 15m 26s main
main
February 10, 2025 14:07 15m 26s
Release v2.4.3+0.2.2+8.19 Build and test #81: Pull request #57 opened by K-dizzled
February 7, 2025 12:40 14m 20s v2.5.0-dev
v2.5.0-dev
February 7, 2025 12:40 14m 20s
Support DeepSeek in benchmarks and plugin Build and test #80: Pull request #56 synchronize by K-dizzled
January 31, 2025 11:22 6m 11s deepseek-support
deepseek-support
January 31, 2025 11:22 6m 11s
Support DeepSeek in benchmarks and plugin Build and test #79: Pull request #56 synchronize by K-dizzled
January 31, 2025 11:13 7m 18s deepseek-support
deepseek-support
January 31, 2025 11:13 7m 18s
Support DeepSeek in benchmarks and plugin Build and test #78: Pull request #56 synchronize by K-dizzled
January 29, 2025 20:00 11m 34s deepseek-support
deepseek-support
January 29, 2025 20:00 11m 34s
Support DeepSeek in benchmarks and plugin Build and test #77: Pull request #56 synchronize by K-dizzled
January 29, 2025 19:40 8m 31s deepseek-support
deepseek-support
January 29, 2025 19:40 8m 31s
Support DeepSeek in benchmarks and plugin Build and test #76: Pull request #56 opened by K-dizzled
January 29, 2025 19:19 13m 5s deepseek-support
deepseek-support
January 29, 2025 19:19 13m 5s
Build and test Build and test #75: Manually run by GlebSolovev
January 29, 2025 12:01 14m 16s coqpilot-refinement
coqpilot-refinement
January 29, 2025 12:01 14m 16s
Implement multiround benchmarking & enhance LLMService interfaces Build and test #74: Pull request #54 opened by GlebSolovev
January 17, 2025 04:12 14m 8s benchmarking-multiround
benchmarking-multiround
January 17, 2025 04:12 14m 8s
Release v2.4.2+0.2.2+8.19 Build and test #73: Commit d7679f5 pushed by K-dizzled
December 11, 2024 11:51 12m 57s main
main
December 11, 2024 11:51 12m 57s
Release v2.4.2+0.2.2+8.19 Build and test #72: Pull request #53 opened by K-dizzled
December 11, 2024 11:38 11m 47s v2.5.0-dev
v2.5.0-dev
December 11, 2024 11:38 11m 47s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #71: Pull request #52 synchronize by GlebSolovev
December 6, 2024 08:39 8m 21s benchmarking-hotfix
benchmarking-hotfix
December 6, 2024 08:39 8m 21s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #70: Pull request #52 synchronize by K-dizzled
December 4, 2024 11:33 10m 0s benchmarking-hotfix
benchmarking-hotfix
December 4, 2024 11:33 10m 0s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #69: Pull request #52 synchronize by K-dizzled
December 3, 2024 23:14 8m 7s benchmarking-hotfix
benchmarking-hotfix
December 3, 2024 23:14 8m 7s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #68: Pull request #52 opened by GlebSolovev
December 3, 2024 18:57 12m 52s benchmarking-hotfix
benchmarking-hotfix
December 3, 2024 18:57 12m 52s
Release v2.4.1+0.2.2+8.19 Build and test #67: Commit 641a277 pushed by K-dizzled
November 27, 2024 11:51 8m 18s main
main
November 27, 2024 11:51 8m 18s
Release v2.4.1+0.2.2+8.19 Build and test #66: Pull request #51 synchronize by K-dizzled
November 27, 2024 11:42 8m 5s v2.4.0-dev
v2.4.0-dev
November 27, 2024 11:42 8m 5s
Release v2.4.1+0.2.2+8.19 Build and test #65: Pull request #51 opened by K-dizzled
November 27, 2024 11:32 6m 12s v2.4.0-dev
v2.4.0-dev
November 27, 2024 11:32 6m 12s