Skip to content

Actions: JetBrains-Research/coqpilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
17m 27s cleanup
cleanup
17m 27s
📊 Test coverage & 🕵🏻 LLMService-s to ProofProvider-s renaming Build and test #88: Pull request #60 opened by GlebSolovev
21m 4s cleanup
cleanup
21m 4s
🐝 Rework of LLMServices and ModelsParams, Benchmarking Improvements & Rango Fixes Build and test #87: Pull request #59 opened by GlebSolovev
17m 7s benchmarking-dev
benchmarking-dev
17m 7s
🚀🌟 External proof providers & Rango support Build and test #86: Pull request #58 synchronize by GlebSolovev
17m 2s rango-support
rango-support
17m 2s
🚀🌟 External proof providers & Rango support Build and test #85: Pull request #58 synchronize by GlebSolovev
20m 44s rango-support
rango-support
20m 44s
🚀🌟 External proof providers & Rango support Build and test #84: Pull request #58 synchronize by GlebSolovev
11m 44s rango-support
rango-support
11m 44s
🚀🌟 External proof providers & Rango support Build and test #83: Pull request #58 opened by GlebSolovev
11m 23s rango-support
rango-support
11m 23s
Publish new version Publish new version #11: Manually run by K-dizzled
15m 7s main
main
15m 7s
Release v2.4.3+0.2.2+8.19 Build and test #82: Commit b0f37ed pushed by K-dizzled
15m 26s main
main
15m 26s
Release v2.4.3+0.2.2+8.19 Deploy Jekyll with GitHub Pages dependencies preinstalled #20: Commit b0f37ed pushed by K-dizzled
46s main
main
46s
Release v2.4.3+0.2.2+8.19 Build and test #81: Pull request #57 opened by K-dizzled
14m 20s v2.5.0-dev
v2.5.0-dev
14m 20s
Support DeepSeek in benchmarks and plugin Build and test #80: Pull request #56 synchronize by K-dizzled
6m 11s deepseek-support
deepseek-support
6m 11s
Support DeepSeek in benchmarks and plugin Build and test #79: Pull request #56 synchronize by K-dizzled
7m 18s deepseek-support
deepseek-support
7m 18s
Support DeepSeek in benchmarks and plugin Build and test #78: Pull request #56 synchronize by K-dizzled
11m 34s deepseek-support
deepseek-support
11m 34s
Support DeepSeek in benchmarks and plugin Build and test #77: Pull request #56 synchronize by K-dizzled
8m 31s deepseek-support
deepseek-support
8m 31s
Support DeepSeek in benchmarks and plugin Build and test #76: Pull request #56 opened by K-dizzled
13m 5s deepseek-support
deepseek-support
13m 5s
Build and test Build and test #75: Manually run by GlebSolovev
14m 16s coqpilot-refinement
coqpilot-refinement
14m 16s
Implement multiround benchmarking & enhance LLMService interfaces Build and test #74: Pull request #54 opened by GlebSolovev
14m 8s benchmarking-multiround
benchmarking-multiround
14m 8s
Publish new version Publish new version #10: Manually run by K-dizzled
12m 28s main
main
12m 28s
Release v2.4.2+0.2.2+8.19 Build and test #73: Commit d7679f5 pushed by K-dizzled
12m 57s main
main
12m 57s
Release v2.4.2+0.2.2+8.19 Deploy Jekyll with GitHub Pages dependencies preinstalled #19: Commit d7679f5 pushed by K-dizzled
45s main
main
45s
Release v2.4.2+0.2.2+8.19 Build and test #72: Pull request #53 opened by K-dizzled
11m 47s v2.5.0-dev
v2.5.0-dev
11m 47s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #71: Pull request #52 synchronize by GlebSolovev
8m 21s benchmarking-hotfix
benchmarking-hotfix
8m 21s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #70: Pull request #52 synchronize by K-dizzled
10m 0s benchmarking-hotfix
benchmarking-hotfix
10m 0s
Benchmarking hotfix: context theorems & coq-lsp server path Build and test #69: Pull request #52 synchronize by K-dizzled
8m 7s benchmarking-hotfix
benchmarking-hotfix
8m 7s