Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
775 workflow runs
775 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better highlights .github/workflows/ci.yml #945: Pull request #744 synchronize by rtetley
February 22, 2024 13:47 1h 1m 34s better-highlights
better-highlights
February 22, 2024 13:47 1h 1m 34s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #6: Manually run by rtetley
February 21, 2024 13:34 1m 0s v2.1.2
v2.1.2
February 21, 2024 13:34 1m 0s
Better highlights .github/workflows/ci.yml #944: Pull request #744 opened by rtetley
February 21, 2024 12:28 1h 14m 36s better-highlights
better-highlights
February 21, 2024 12:28 1h 14m 36s
v2.1.2 .github/workflows/cd.yml #25: Release v2.1.2 published by rtetley
February 21, 2024 08:13 8m 8s
February 21, 2024 08:13 8m 8s
Merge pull request #742 from coq-community/bump-version-2-1-2 .github/workflows/ci.yml #943: Commit e28d8d1 pushed by rtetley
February 21, 2024 07:07 58m 37s v2.1.2
v2.1.2
February 21, 2024 07:07 58m 37s
Merge pull request #742 from coq-community/bump-version-2-1-2 .github/workflows/ci.yml #942: Commit e28d8d1 pushed by rtetley
February 20, 2024 22:03 38m 13s main
main
February 20, 2024 22:03 38m 13s
Merge pull request #739 from coq-community/lib-error-loc .github/workflows/ci.yml #941: Commit 367317b pushed by rtetley
February 20, 2024 14:26 48m 53s main
main
February 20, 2024 14:26 48m 53s
Bump version in preparation for release .github/workflows/ci.yml #940: Pull request #742 opened by rtetley
February 20, 2024 14:10 48m 43s bump-version-2-1-2
bump-version-2-1-2
February 20, 2024 14:10 48m 43s
Capture the correct loc for when an import fails. .github/workflows/ci.yml #939: Pull request #739 synchronize by rtetley
February 20, 2024 10:34 56m 57s lib-error-loc
lib-error-loc
February 20, 2024 10:34 56m 57s
Merge pull request #740 from coq-community/manual-nav-regression-fix .github/workflows/ci.yml #938: Commit 1851e28 pushed by rtetley
February 20, 2024 09:49 52m 43s main
main
February 20, 2024 09:49 52m 43s
Manual nav fix .github/workflows/ci.yml #937: Pull request #740 opened by rtetley
February 20, 2024 09:06 51m 44s manual-nav-regression-fix
manual-nav-regression-fix
February 20, 2024 09:06 51m 44s
Capture the correct loc for when an import fails. .github/workflows/ci.yml #936: Pull request #739 opened by rtetley
February 20, 2024 08:30 54m 19s lib-error-loc
lib-error-loc
February 20, 2024 08:30 54m 19s
Merge pull request #738 from coq-community/fix-coq-master-ci .github/workflows/ci.yml #935: Commit 9b5230c pushed by rtetley
February 19, 2024 13:20 59m 21s main
main
February 19, 2024 13:20 59m 21s
Fix coq-master CI .github/workflows/ci.yml #934: Pull request #738 synchronize by rtetley
February 19, 2024 12:55 1h 6m 14s fix-coq-master-ci
fix-coq-master-ci
February 19, 2024 12:55 1h 6m 14s
v2.1.1+coq8.19 .github/workflows/cd.yml #24: Release v2.1.1+coq8.19 published by rtetley
February 19, 2024 12:18 8m 47s
February 19, 2024 12:18 8m 47s
Fix coq-master CI .github/workflows/ci.yml #933: Pull request #738 opened by rtetley
February 19, 2024 12:14 50m 40s fix-coq-master-ci
fix-coq-master-ci
February 19, 2024 12:14 50m 40s
Merge pull request #722 from ppedrot/prettyp-explicit-env .github/workflows/ci.yml #932: Commit 50231cb pushed by SkySkimmer
February 19, 2024 11:31 51m 53s main
main
February 19, 2024 11:31 51m 53s
Merge pull request #735 from coq-community/bump-version-2-1-1 .github/workflows/ci.yml #931: Commit 6036251 pushed by rtetley
February 19, 2024 09:17 57m 45s v2.1.1+coq8.19
v2.1.1+coq8.19
February 19, 2024 09:17 57m 45s
Merge pull request #735 from coq-community/bump-version-2-1-1 .github/workflows/ci.yml #930: Commit 6036251 pushed by rtetley
February 19, 2024 09:14 52m 3s main
main
February 19, 2024 09:14 52m 3s
Merge pull request #734 from coq-community/nav-commands-continuous-mode .github/workflows/ci.yml #929: Commit 794b3b4 pushed by rtetley
February 16, 2024 17:41 1h 45m 50s main
main
February 16, 2024 17:41 1h 45m 50s
Bump version in preparation for release 2.1.1 .github/workflows/ci.yml #928: Pull request #735 opened by rtetley
February 16, 2024 15:46 57m 5s bump-version-2-1-1
bump-version-2-1-1
February 16, 2024 15:46 57m 5s
Add api for step navigation in continuous mode. .github/workflows/ci.yml #927: Pull request #734 opened by rtetley
February 16, 2024 15:41 48m 53s nav-commands-continuous-mode
nav-commands-continuous-mode
February 16, 2024 15:41 48m 53s
Merge pull request #732 from coq-community/parse-errors .github/workflows/ci.yml #926: Commit a1b0323 pushed by rtetley
February 16, 2024 14:26 52m 37s main
main
February 16, 2024 14:26 52m 37s
Fix parse errors and highlight zone .github/workflows/ci.yml #925: Pull request #732 synchronize by rtetley
February 16, 2024 13:31 51m 13s parse-errors
parse-errors
February 16, 2024 13:31 51m 13s
Fix parse errors and highlight zone .github/workflows/ci.yml #924: Pull request #732 synchronize by rtetley
February 16, 2024 13:12 56m 51s parse-errors
parse-errors
February 16, 2024 13:12 56m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-02-16 or the other filters available.