Skip to content

Actions: rocq-prover/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
773 workflow runs
773 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps): bump tar-fs from 2.1.1 to 2.1.2 in /client .github/workflows/ci.yml #1593: Pull request #1070 opened by dependabot bot
March 28, 2025 22:22 10m 5s dependabot/npm_and_yarn/client/tar-fs-2.1.2
dependabot/npm_and_yarn/client/tar-fs-2.1.2
March 28, 2025 22:22 10m 5s
npm_and_yarn in for tar-fs - Update #988752364 Dependabot Updates #73: by dependabot bot
March 28, 2025 22:21 1m 0s main
main
March 28, 2025 22:21 1m 0s
Merge pull request #1068 from SkySkimmer/dirpath-full-path .github/workflows/ci.yml #1592: Commit 19417e2 pushed by ppedrot
March 27, 2025 10:22 24m 39s main
main
March 27, 2025 10:22 24m 39s
Adapt to coq/coq#20371 (dirpath_of_module -> path_of_module) .github/workflows/ci.yml #1591: Pull request #1068 opened by SkySkimmer
March 20, 2025 14:53 12m 58s SkySkimmer:dirpath-full-path
SkySkimmer:dirpath-full-path
March 20, 2025 14:53 12m 58s
Ignore nested proofs option instead of failing with anomaly .github/workflows/ci.yml #1590: Pull request #1067 opened by SkySkimmer
March 14, 2025 12:34 19m 28s SkySkimmer:nested-proofs-warn
SkySkimmer:nested-proofs-warn
March 14, 2025 12:34 19m 28s
fix: remember to compare errored sentences in the diff .github/workflows/ci.yml #1589: Pull request #1063 opened by rtetley
March 10, 2025 14:16 23m 20s fix-diff
fix-diff
March 10, 2025 14:16 23m 20s
Merge pull request #1059 from coq/sections-in-outline .github/workflows/ci.yml #1588: Commit ccc5f15 pushed by rtetley
March 5, 2025 14:22 21m 43s main
main
March 5, 2025 14:22 21m 43s
Export API to run tactics at a given loc .github/workflows/ci.yml #1587: Pull request #964 synchronize by rtetley
March 4, 2025 13:50 15m 50s coq-pilot
coq-pilot
March 4, 2025 13:50 15m 50s
feat: adding sections and modules in outlines .github/workflows/ci.yml #1586: Pull request #1059 synchronize by rtetley
March 4, 2025 09:37 15m 49s sections-in-outline
sections-in-outline
March 4, 2025 09:37 15m 49s
Export API to run tactics at a given loc .github/workflows/ci.yml #1585: Pull request #964 synchronize by rtetley
March 4, 2025 09:11 15m 27s coq-pilot
coq-pilot
March 4, 2025 09:11 15m 27s
feat: adding sections and modules in outlines .github/workflows/ci.yml #1584: Pull request #1059 opened by rtetley
March 3, 2025 10:05 15m 34s sections-in-outline
sections-in-outline
March 3, 2025 10:05 15m 34s
wip: move rocq API behind an abstraction .github/workflows/ci.yml #1583: Pull request #1053 synchronize by gares
February 28, 2025 11:52 11m 3s rocq-worker
rocq-worker
February 28, 2025 11:52 11m 3s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #24: Manually run by rtetley
February 27, 2025 13:15 1m 32s v2.2.5
v2.2.5
February 27, 2025 13:15 1m 32s
wip: move rocq API behind an abstraction .github/workflows/ci.yml #1582: Pull request #1053 synchronize by gares
February 26, 2025 15:54 19m 40s rocq-worker
rocq-worker
February 26, 2025 15:54 19m 40s
wip: move rocq API behind an abstraction .github/workflows/ci.yml #1581: Pull request #1053 synchronize by gares
February 26, 2025 15:52 11m 32s rocq-worker
rocq-worker
February 26, 2025 15:52 11m 32s
wip: move rocq API behind an abstraction .github/workflows/ci.yml #1580: Pull request #1053 opened by gares
February 26, 2025 15:38 11m 44s rocq-worker
rocq-worker
February 26, 2025 15:38 11m 44s
Merge pull request #1050 from coq/fix-crazy-redo .github/workflows/ci.yml #1579: Commit 54562da pushed by rtetley
February 26, 2025 13:45 8m 3s main
main
February 26, 2025 13:45 8m 3s
v2.2.5 .github/workflows/cd.yml #36: Release v2.2.5 released by rtetley
February 26, 2025 13:32 3m 30s
February 26, 2025 13:32 3m 30s
Merge pull request #1051 from coq/bump-version .github/workflows/ci.yml #1578: Commit f02f07e pushed by rtetley
February 26, 2025 07:09 9m 5s v2.2.5
v2.2.5
February 26, 2025 07:09 9m 5s
npm_and_yarn in for serialize-javascript - Update #970900510 Dependabot Updates #72: by dependabot bot
February 26, 2025 07:08 4m 41s main
main
February 26, 2025 07:08 4m 41s
Merge pull request #1051 from coq/bump-version .github/workflows/ci.yml #1577: Commit f02f07e pushed by rtetley
February 26, 2025 07:08 19m 2s main
main
February 26, 2025 07:08 19m 2s
release: bump version .github/workflows/ci.yml #1576: Pull request #1051 opened by rtetley
February 26, 2025 06:44 14m 40s bump-version
bump-version
February 26, 2025 06:44 14m 40s
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