Skip to content

Actions: coq-community/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
886 workflow runs
886 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: externalize pp-display library .github/workflows/ci.yml #1222: Pull request #860 synchronize by rtetley
August 9, 2024 12:18 9m 31s externalize-pp
externalize-pp
August 9, 2024 12:18 9m 31s
feat: externalize pp-display library .github/workflows/ci.yml #1221: Pull request #860 synchronize by rtetley
August 9, 2024 12:04 7m 17s externalize-pp
externalize-pp
August 9, 2024 12:04 7m 17s
feat: externalize pp-display library .github/workflows/ci.yml #1220: Pull request #860 synchronize by rtetley
August 9, 2024 12:01 7m 8s externalize-pp
externalize-pp
August 9, 2024 12:01 7m 8s
feat: externalize pp-display library .github/workflows/ci.yml #1219: Pull request #860 opened by rtetley
August 8, 2024 14:35 38s externalize-pp
externalize-pp
August 8, 2024 14:35 38s
Merge pull request #858 from coq-community/gares-patch-2 .github/workflows/ci.yml #1218: Commit 12add0e pushed by rtetley
August 8, 2024 10:15 11m 29s main
main
August 8, 2024 10:15 11m 29s
Merge pull request #857 from coq-community/gares-patch-1 .github/workflows/ci.yml #1217: Commit 9e2bc5b pushed by rtetley
August 8, 2024 09:29 6m 45s main
main
August 8, 2024 09:29 6m 45s
Update README.md .github/workflows/ci.yml #1216: Pull request #858 synchronize by rtetley
August 8, 2024 09:28 11m 33s gares-patch-2
gares-patch-2
August 8, 2024 09:28 11m 33s
Update README.md .github/workflows/ci.yml #1215: Pull request #858 opened by gares
August 8, 2024 07:18 12m 41s gares-patch-2
gares-patch-2
August 8, 2024 07:18 12m 41s
Update README.md .github/workflows/ci.yml #1214: Pull request #857 opened by gares
August 8, 2024 07:02 11m 27s gares-patch-1
gares-patch-1
August 8, 2024 07:02 11m 27s
Merge pull request #856 from coq-community/update-doc .github/workflows/ci.yml #1213: Commit 44c1dd3 pushed by rtetley
August 7, 2024 14:40 19m 15s main
main
August 7, 2024 14:40 19m 15s
Update documentation .github/workflows/ci.yml #1212: Pull request #856 synchronize by rtetley
August 7, 2024 13:25 16m 39s update-doc
update-doc
August 7, 2024 13:25 16m 39s
Update documentation .github/workflows/ci.yml #1211: Pull request #856 synchronize by rtetley
August 7, 2024 13:23 12m 18s update-doc
update-doc
August 7, 2024 13:23 12m 18s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #17: Manually run by rtetley
August 7, 2024 13:03 1m 3s v2.1.7
v2.1.7
August 7, 2024 13:03 1m 3s
Update documentation .github/workflows/ci.yml #1210: Pull request #856 synchronize by rtetley
August 7, 2024 09:53 11m 29s update-doc
update-doc
August 7, 2024 09:53 11m 29s
Update documentation .github/workflows/ci.yml #1209: Pull request #856 opened by rtetley
August 6, 2024 14:05 13m 14s update-doc
update-doc
August 6, 2024 14:05 13m 14s
v2.1.7 .github/workflows/cd.yml #29: Release v2.1.7 released by rtetley
August 6, 2024 13:21 11m 13s
August 6, 2024 13:21 11m 13s
Merge pull request #855 from coq-community/bump-version .github/workflows/ci.yml #1208: Commit 0b17857 pushed by rtetley
August 6, 2024 06:24 11m 55s v2.1.7
v2.1.7
August 6, 2024 06:24 11m 55s
Merge pull request #855 from coq-community/bump-version .github/workflows/ci.yml #1207: Commit 0b17857 pushed by rtetley
August 6, 2024 04:46 12m 28s main
main
August 6, 2024 04:46 12m 28s
Bump version for release .github/workflows/ci.yml #1206: Pull request #855 opened by rtetley
August 5, 2024 14:28 12m 52s bump-version
bump-version
August 5, 2024 14:28 12m 52s
Merge pull request #854 from coq-community/unshelve-typos .github/workflows/ci.yml #1205: Commit 996bbf6 pushed by rtetley
August 5, 2024 13:04 17m 58s main
main
August 5, 2024 13:04 17m 58s
Merge pull request #846 from thery/depth .github/workflows/ci.yml #1204: Commit 2880bd8 pushed by rtetley
August 5, 2024 13:03 12m 58s main
main
August 5, 2024 13:03 12m 58s
Correct unshelve message .github/workflows/ci.yml #1203: Pull request #854 opened by rtetley
August 5, 2024 12:07 29m 18s unshelve-typos
unshelve-typos
August 5, 2024 12:07 29m 18s
Work on better system for goal ellipsis .github/workflows/ci.yml #1202: Pull request #846 synchronize by rtetley
August 5, 2024 12:05 24m 7s thery:depth
thery:depth
August 5, 2024 12:05 24m 7s
npm_and_yarn in /client for xml2js - Update #865149744 Dependabot Updates #1: by dependabot bot
August 5, 2024 12:02 11m 2s
August 5, 2024 12:02 11m 2s
Merge pull request #845 from coq-community/block-on-first-error .github/workflows/ci.yml #1201: Commit b759376 pushed by rtetley
August 5, 2024 12:02 26m 37s main
main
August 5, 2024 12:02 26m 37s