Skip to content

Actions: coq/vscoq

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

Merge pull request #724 from coq-community/rtetley-patch-1
.github/workflows/ci.yml #904: Commit 888ea80 pushed by rtetley
February 13, 2024 07:16 40m 10s main
February 13, 2024 07:16 40m 10s
Update publish-extension.yml
.github/workflows/ci.yml #903: Pull request #724 opened by rtetley
February 13, 2024 07:14 3m 19s rtetley-patch-1
February 13, 2024 07:14 3m 19s
.github/workflows/publish-extension.yml
.github/workflows/publish-extension.yml #4: Manually run by rtetley
February 13, 2024 07:03 57s v2.1.0+coq8.19
February 13, 2024 07:03 57s
Merge pull request #723 from coq-community/fix-ci
.github/workflows/ci.yml #902: Commit 1734ec1 pushed by gares
February 12, 2024 15:06 51m 24s main
February 12, 2024 15:06 51m 24s
ci: test coq master branch
.github/workflows/ci.yml #901: Pull request #723 opened by gares
February 12, 2024 13:03 58m 28s fix-ci
February 12, 2024 13:03 58m 28s
v2.1.0+coq8.19
.github/workflows/cd.yml #23: Release v2.1.0+coq8.19 published by rtetley
February 12, 2024 12:43 7m 59s
February 12, 2024 12:43 7m 59s
Merge pull request #720 from coq-community/bump-version
.github/workflows/ci.yml #900: Commit 902c39a pushed by rtetley
February 12, 2024 11:36 51m 20s v2.1.0+coq8.19
February 12, 2024 11:36 51m 20s
Merge pull request #720 from coq-community/bump-version
.github/workflows/ci.yml #899: Commit 902c39a pushed by rtetley
February 12, 2024 09:39 45m 11s main
February 12, 2024 09:39 45m 11s
Prepare release 2.1.0
.github/workflows/ci.yml #898: Pull request #720 synchronize by rtetley
February 12, 2024 08:38 59m 20s bump-version
February 12, 2024 08:38 59m 20s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #897: Pull request #722 synchronize by gares
February 11, 2024 15:48 58m 9s ppedrot:prettyp-explicit-env
February 11, 2024 15:48 58m 9s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #896: Pull request #722 synchronize by gares
February 11, 2024 15:33 49m 54s ppedrot:prettyp-explicit-env
February 11, 2024 15:33 49m 54s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #895: Pull request #722 synchronize by gares
February 11, 2024 15:21 55m 32s ppedrot:prettyp-explicit-env
February 11, 2024 15:21 55m 32s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #894: Pull request #722 synchronize by gares
February 11, 2024 15:09 56m 37s ppedrot:prettyp-explicit-env
February 11, 2024 15:09 56m 37s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #893: Pull request #722 synchronize by gares
February 11, 2024 14:59 57m 1s ppedrot:prettyp-explicit-env
February 11, 2024 14:59 57m 1s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #892: Pull request #722 synchronize by ppedrot
February 10, 2024 13:40 57m 41s ppedrot:prettyp-explicit-env
February 10, 2024 13:40 57m 41s
Merge pull request #721 from coq-community/hover-bug
.github/workflows/ci.yml #891: Commit e5e7b63 pushed by rtetley
February 10, 2024 08:58 53m 40s main
February 10, 2024 08:58 53m 40s
Adapt w.r.t. coq/coq#18652.
.github/workflows/ci.yml #890: Pull request #722 opened by ppedrot
February 9, 2024 22:22 55m 9s ppedrot:prettyp-explicit-env
February 9, 2024 22:22 55m 9s
Correct server crash when hover over first word.
.github/workflows/ci.yml #889: Pull request #721 opened by rtetley
February 9, 2024 15:05 1h 1m 41s hover-bug
February 9, 2024 15:05 1h 1m 41s
Prepare release 2.1.0
.github/workflows/ci.yml #888: Pull request #720 opened by rtetley
February 8, 2024 16:00 1h 40m 18s bump-version
February 8, 2024 16:00 1h 40m 18s
Merge pull request #702 from coq-community/coq-8.19
.github/workflows/ci.yml #887: Commit 4eefe13 pushed by rtetley
February 8, 2024 15:11 1h 37m 53s main
February 8, 2024 15:11 1h 37m 53s
Merge pull request #718 from coq-community/windows-ci
.github/workflows/ci.yml #886: Commit 014c666 pushed by rtetley
February 7, 2024 11:47 52m 31s main
February 7, 2024 11:47 52m 31s
Reinstate windows ci
.github/workflows/ci.yml #885: Pull request #718 synchronize by rtetley
February 7, 2024 10:32 49m 43s windows-ci
February 7, 2024 10:32 49m 43s
Reinstate windows ci
.github/workflows/ci.yml #884: Pull request #718 opened by rtetley
February 7, 2024 08:13 56m 53s windows-ci
February 7, 2024 08:13 56m 53s
Coq 8.19
.github/workflows/ci.yml #883: Pull request #702 synchronize by gares
February 6, 2024 22:43 19m 34s coq-8.19
February 6, 2024 22:43 19m 34s
Coq 8.19
.github/workflows/ci.yml #882: Pull request #702 synchronize by rtetley
February 6, 2024 16:03 2m 0s coq-8.19
February 6, 2024 16:03 2m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-02-06 or the other filters available.