Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
837 workflow runs
837 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1049 from coq/schedule_fix .github/workflows/ci.yml #1575: Commit cd23d7a pushed by rtetley
February 25, 2025 16:28 16m 7s main
main
February 25, 2025 16:28 16m 7s
EM: do not exec the same task twice .github/workflows/ci.yml #1574: Pull request #1050 opened by gares
February 25, 2025 15:08 54m 3s fix-crazy-redo
fix-crazy-redo
February 25, 2025 15:08 54m 3s
fix: add empty dependencies even to an errored sentence .github/workflows/ci.yml #1573: Pull request #1049 opened by rtetley
February 25, 2025 15:03 25m 56s schedule_fix
schedule_fix
February 25, 2025 15:03 25m 56s
Export API to run tactics at a given loc .github/workflows/ci.yml #1572: Pull request #964 synchronize by rtetley
February 25, 2025 09:01 9m 14s coq-pilot
coq-pilot
February 25, 2025 09:01 9m 14s
Merge pull request #1047 from KacperFKorban/highlight-more-vernacular .github/workflows/ci.yml #1571: Commit b0b7f69 pushed by rtetley
February 24, 2025 14:52 15m 33s main
main
February 24, 2025 14:52 15m 33s
syntax highlighting: support more vernacular commands .github/workflows/ci.yml #1570: Pull request #1047 opened by KacperFKorban
February 24, 2025 14:32 18m 36s KacperFKorban:highlight-more-vernacular
KacperFKorban:highlight-more-vernacular
February 24, 2025 14:32 18m 36s
wip: coq interruption .github/workflows/ci.yml #1569: Pull request #1046 synchronize by gares
February 24, 2025 13:29 15m 9s interrupt
interrupt
February 24, 2025 13:29 15m 9s
wip: coq interruption .github/workflows/ci.yml #1568: Pull request #1046 synchronize by rtetley
February 24, 2025 12:34 14m 46s interrupt
interrupt
February 24, 2025 12:34 14m 46s
wip: coq interruption .github/workflows/ci.yml #1567: Pull request #1046 synchronize by rtetley
February 24, 2025 12:13 11m 59s interrupt
interrupt
February 24, 2025 12:13 11m 59s
wip: coq interruption .github/workflows/ci.yml #1566: Pull request #1046 synchronize by rtetley
February 24, 2025 09:13 12m 13s interrupt
interrupt
February 24, 2025 09:13 12m 13s
npm_and_yarn in for serialize-javascript - Update #968895519 Dependabot Updates #71: by dependabot bot
February 23, 2025 01:33 50s main
main
February 23, 2025 01:33 50s
npm_and_yarn in for serialize-javascript - Update #968755545 Dependabot Updates #70: by dependabot bot
February 21, 2025 20:21 46s main
main
February 21, 2025 20:21 46s
wip: coq interruption .github/workflows/ci.yml #1565: Pull request #1046 opened by gares
February 21, 2025 14:09 11m 10s interrupt
interrupt
February 21, 2025 14:09 11m 10s
Merge pull request #1045 from KacperFKorban/symbol-search/handle-indu… .github/workflows/ci.yml #1564: Commit 412a8c3 pushed by rtetley
February 21, 2025 12:28 19m 28s main
main
February 21, 2025 12:28 19m 28s
Merge pull request #1038 from KacperFKorban/syntax/highlight-Compute .github/workflows/ci.yml #1563: Commit 4dafbd4 pushed by rtetley
February 21, 2025 12:16 19m 16s main
main
February 21, 2025 12:16 19m 16s
Symbol search: handle inductive, fixpoint, and cofixpoint .github/workflows/ci.yml #1562: Pull request #1045 synchronize by rtetley
February 21, 2025 11:41 44m 27s KacperFKorban:symbol-search/handle-inductive-and-fixpoint
KacperFKorban:symbol-search/handle-inductive-and-fixpoint
February 21, 2025 11:41 44m 27s
syntax highlighting: Treat Compute as a Vernacular keyword .github/workflows/ci.yml #1561: Pull request #1038 synchronize by rtetley
February 21, 2025 11:40 32m 46s KacperFKorban:syntax/highlight-Compute
KacperFKorban:syntax/highlight-Compute
February 21, 2025 11:40 32m 46s
npm_and_yarn in for vite - Update #968543176 Dependabot Updates #69: by dependabot bot
February 21, 2025 11:39 5m 6s main
main
February 21, 2025 11:39 5m 6s
npm_and_yarn in for serialize-javascript - Update #968543180 Dependabot Updates #68: by dependabot bot
February 21, 2025 11:39 4m 51s main
main
February 21, 2025 11:39 4m 51s
npm_and_yarn in for rollup - Update #968543179 Dependabot Updates #67: by dependabot bot
February 21, 2025 11:39 4m 26s main
main
February 21, 2025 11:39 4m 26s
npm_and_yarn in for nanoid - Update #968543175 Dependabot Updates #66: by dependabot bot
February 21, 2025 11:39 4m 25s main
main
February 21, 2025 11:39 4m 25s
Merge pull request #1039 from coq/retry-ci .github/workflows/ci.yml #1560: Commit e1ae5c8 pushed by rtetley
February 21, 2025 11:38 17m 48s main
main
February 21, 2025 11:38 17m 48s
ci: add a retry action to avoid sporadic fails .github/workflows/ci.yml #1559: Pull request #1039 synchronize by rtetley
February 21, 2025 10:18 15m 19s retry-ci
retry-ci
February 21, 2025 10:18 15m 19s
ci: add a retry action to avoid sporadic fails .github/workflows/ci.yml #1558: Pull request #1039 synchronize by rtetley
February 21, 2025 09:36 24m 29s retry-ci
retry-ci
February 21, 2025 09:36 24m 29s
Symbol search: handle inductive, fixpoint, and cofixpoint .github/workflows/ci.yml #1557: Pull request #1045 synchronize by KacperFKorban
February 20, 2025 15:40 21m 9s KacperFKorban:symbol-search/handle-inductive-and-fixpoint
KacperFKorban:symbol-search/handle-inductive-and-fixpoint
February 20, 2025 15:40 21m 9s