Skip to content

Actions: JetBrains-Research/coqpilot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish new version Publish new version #10: Manually run by K-dizzled
December 11, 2024 11:51 12m 28s main
main
December 11, 2024 11:51 12m 28s
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 Deploy Jekyll with GitHub Pages dependencies preinstalled #19: Commit d7679f5 pushed by K-dizzled
December 11, 2024 11:51 45s main
main
December 11, 2024 11:51 45s
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
Publish new version Publish new version #9: Manually run by K-dizzled
November 27, 2024 11:58 11m 22s main
main
November 27, 2024 11:58 11m 22s
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 Deploy Jekyll with GitHub Pages dependencies preinstalled #18: Commit 641a277 pushed by K-dizzled
November 27, 2024 11:51 49s main
main
November 27, 2024 11:51 49s
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
Publish new version Publish new version #8: Manually run by K-dizzled
November 27, 2024 09:33 15m 26s main
main
November 27, 2024 09:33 15m 26s
Release v2.4.0+0.2.2+8.19 Deploy Jekyll with GitHub Pages dependencies preinstalled #17: Commit 40142f2 pushed by K-dizzled
November 27, 2024 09:33 50s main
main
November 27, 2024 09:33 50s
Release v2.4.0+0.2.2+8.19 Build and test #64: Commit 40142f2 pushed by K-dizzled
November 27, 2024 09:33 15m 18s main
main
November 27, 2024 09:33 15m 18s
Release v2.4.0+0.2.2+8.19 Build and test #63: Pull request #50 opened by K-dizzled
November 27, 2024 09:10 16m 15s v2.4.0-dev
v2.4.0-dev
November 27, 2024 09:10 16m 15s
Benchmarking framework hot-fixes Build and test #62: Pull request #49 synchronize by GlebSolovev
November 27, 2024 01:40 8m 16s benchmarking-hotfixes
benchmarking-hotfixes
November 27, 2024 01:40 8m 16s
Benchmarking framework hot-fixes Build and test #61: Pull request #49 synchronize by GlebSolovev
November 27, 2024 01:30 8m 6s benchmarking-hotfixes
benchmarking-hotfixes
November 27, 2024 01:30 8m 6s
Benchmarking framework hot-fixes Build and test #60: Pull request #49 synchronize by K-dizzled
November 26, 2024 15:24 8m 42s benchmarking-hotfixes
benchmarking-hotfixes
November 26, 2024 15:24 8m 42s
Benchmarking framework hot-fixes Build and test #59: Pull request #49 opened by GlebSolovev
November 26, 2024 14:58 13m 14s benchmarking-hotfixes
benchmarking-hotfixes
November 26, 2024 14:58 13m 14s
Fix-ups for "significant proof checking refactoring" Build and test #58: Pull request #48 synchronize by GlebSolovev
November 26, 2024 10:23 15m 50s proof-checking-refactor-fix
proof-checking-refactor-fix
November 26, 2024 10:23 15m 50s
Fix-ups for "significant proof checking refactoring" Build and test #57: Pull request #48 synchronize by GlebSolovev
November 16, 2024 03:04 2m 44s proof-checking-refactor-fix
proof-checking-refactor-fix
November 16, 2024 03:04 2m 44s
Fix-ups for "significant proof checking refactoring" Build and test #56: Pull request #48 opened by GlebSolovev
November 15, 2024 13:15 2m 44s proof-checking-refactor-fix
proof-checking-refactor-fix
November 15, 2024 13:15 2m 44s
Build and test Build and test #55: Manually run by GlebSolovev
November 15, 2024 10:23 5m 44s v2.4.0-dev
v2.4.0-dev
November 15, 2024 10:23 5m 44s