Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
755 workflow runs
755 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq 8.19 .github/workflows/ci.yml #856: Pull request #702 synchronize by gares
December 29, 2023 15:49 30m 26s coq-8.19
coq-8.19
December 29, 2023 15:49 30m 26s
Coq 8.19 .github/workflows/ci.yml #855: Pull request #702 synchronize by gares
December 25, 2023 15:07 29m 31s coq-8.19
coq-8.19
December 25, 2023 15:07 29m 31s
Coq 8.19 .github/workflows/ci.yml #854: Pull request #702 synchronize by gares
December 25, 2023 14:52 47m 22s coq-8.19
coq-8.19
December 25, 2023 14:52 47m 22s
Coq 8.19 .github/workflows/ci.yml #853: Pull request #702 synchronize by gares
December 24, 2023 20:42 48m 21s coq-8.19
coq-8.19
December 24, 2023 20:42 48m 21s
Coq 8.19 .github/workflows/ci.yml #852: Pull request #702 synchronize by gares
December 24, 2023 16:33 29m 58s coq-8.19
coq-8.19
December 24, 2023 16:33 29m 58s
Coq 8.19 .github/workflows/ci.yml #851: Pull request #702 synchronize by gares
December 24, 2023 15:13 47m 34s coq-8.19
coq-8.19
December 24, 2023 15:13 47m 34s
Coq 8.19 .github/workflows/ci.yml #850: Pull request #702 synchronize by gares
December 24, 2023 15:01 48m 40s coq-8.19
coq-8.19
December 24, 2023 15:01 48m 40s
Coq 8.19 .github/workflows/ci.yml #849: Pull request #702 synchronize by gares
December 24, 2023 15:00 28m 17s coq-8.19
coq-8.19
December 24, 2023 15:00 28m 17s
Coq 8.19 .github/workflows/ci.yml #848: Pull request #702 synchronize by gares
December 24, 2023 15:00 29m 25s coq-8.19
coq-8.19
December 24, 2023 15:00 29m 25s
Coq 8.19 .github/workflows/ci.yml #847: Pull request #702 opened by gares
December 24, 2023 14:58 29m 52s coq-8.19
coq-8.19
December 24, 2023 14:58 29m 52s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #2: Manually run by rtetley
December 5, 2023 16:31 1m 23s v2.0.3+coq8.18
v2.0.3+coq8.18
December 5, 2023 16:31 1m 23s
v2.0.3+coq8.18 .github/workflows/cd.yml #22: Release v2.0.3+coq8.18 published by rtetley
December 4, 2023 08:10 9m 59s
December 4, 2023 08:10 9m 59s
Merge pull request #698 from coq-community/bump-version-2.0.3 .github/workflows/ci.yml #846: Commit d4a702e pushed by rtetley
December 1, 2023 16:25 50m 45s v2.0.3+coq8.18
v2.0.3+coq8.18
December 1, 2023 16:25 50m 45s
Merge pull request #698 from coq-community/bump-version-2.0.3 .github/workflows/ci.yml #845: Commit d4a702e pushed by rtetley
December 1, 2023 16:22 50m 21s main
main
December 1, 2023 16:22 50m 21s
Merge pull request #699 from dlesbre/dlesbre/message-panel-colors .github/workflows/ci.yml #844: Commit 9c5ca18 pushed by rtetley
December 1, 2023 16:20 51m 13s main
main
December 1, 2023 16:20 51m 13s
Fix message panel colors .github/workflows/ci.yml #843: Pull request #699 opened by dlesbre
December 1, 2023 14:40 50m 58s dlesbre:dlesbre/message-panel-colors
dlesbre:dlesbre/message-panel-colors
December 1, 2023 14:40 50m 58s
Bump version for release. .github/workflows/ci.yml #842: Pull request #698 opened by rtetley
December 1, 2023 14:37 36m 47s bump-version-2.0.3
bump-version-2.0.3
December 1, 2023 14:37 36m 47s
Merge pull request #697 from dlesbre/dlesbre/hover-at-def .github/workflows/ci.yml #841: Commit defa02b pushed by rtetley
December 1, 2023 13:18 47m 32s main
main
December 1, 2023 13:18 47m 32s
Improve hover provider .github/workflows/ci.yml #840: Pull request #697 synchronize by rtetley
December 1, 2023 12:04 37m 31s dlesbre:dlesbre/hover-at-def
dlesbre:dlesbre/hover-at-def
December 1, 2023 12:04 37m 31s
Merge pull request #693 from coq-community/refactor_observe_id .github/workflows/ci.yml #839: Commit e0a34f9 pushed by rtetley
November 30, 2023 15:07 1h 3m 7s main
main
November 30, 2023 15:07 1h 3m 7s
Refactor observe id .github/workflows/ci.yml #838: Pull request #693 synchronize by rtetley
November 30, 2023 14:04 1h 2m 40s refactor_observe_id
refactor_observe_id
November 30, 2023 14:04 1h 2m 40s
Merge pull request #696 from coq-community/invalid-filename .github/workflows/ci.yml #837: Commit 444dae2 pushed by rtetley
November 30, 2023 14:00 1h 8m 0s main
main
November 30, 2023 14:00 1h 8m 0s
Improve hover provider .github/workflows/ci.yml #836: Pull request #697 synchronize by dlesbre
November 30, 2023 10:16 1h 9m 41s dlesbre:dlesbre/hover-at-def
dlesbre:dlesbre/hover-at-def
November 30, 2023 10:16 1h 9m 41s
Improve hover provider .github/workflows/ci.yml #835: Pull request #697 synchronize by dlesbre
November 30, 2023 10:04 1h 0m 26s dlesbre:dlesbre/hover-at-def
dlesbre:dlesbre/hover-at-def
November 30, 2023 10:04 1h 0m 26s
Refactor observe id .github/workflows/ci.yml #834: Pull request #693 synchronize by rtetley
November 30, 2023 08:29 1h 5m 38s refactor_observe_id
refactor_observe_id
November 30, 2023 08:29 1h 5m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.