Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix issue with build using flake system in issue #747 .github/workflows/ci.yml #950: Pull request #754 synchronize by rtetley
March 15, 2024 13:49 55m 5s redanaheim:main
redanaheim:main
March 15, 2024 13:49 55m 5s
Fix issue with build using flake system in issue #747 .github/workflows/ci.yml #949: Pull request #754 synchronize by rtetley
March 15, 2024 12:20 45m 25s redanaheim:main
redanaheim:main
March 15, 2024 12:20 45m 25s
Fix issue with build using flake system in issue #747 .github/workflows/ci.yml #948: Pull request #754 opened by redanaheim
March 13, 2024 15:46 1h 11m 41s redanaheim:main
redanaheim:main
March 13, 2024 15:46 1h 11m 41s
Remove document from state table when it is closed. .github/workflows/ci.yml #947: Pull request #753 opened by rtetley
March 13, 2024 13:29 1h 3m 17s delete-file-on-close
delete-file-on-close
March 13, 2024 13:29 1h 3m 17s
Better highlights .github/workflows/ci.yml #946: Pull request #744 synchronize by rtetley
February 22, 2024 15:29 52m 41s better-highlights
better-highlights
February 22, 2024 15:29 52m 41s
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
ProTip! You can narrow down the results and go further in time using created:<2024-02-16 or the other filters available.