Skip to content

Actions: coq-community/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
894 workflow runs
894 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #580 from coq-community/bug/vscoqtop-from-shell .github/workflows/ci.yml #668: Commit 65f9890 pushed by rtetley
August 21, 2023 16:31 58m 30s main
main
August 21, 2023 16:31 58m 30s
Merge pull request #564 from SkySkimmer/search-restr .github/workflows/ci.yml #667: Commit 6eda154 pushed by maximedenes
August 21, 2023 16:07 1h 20m 4s coq-master
coq-master
August 21, 2023 16:07 1h 20m 4s
Correcting the toolchain manager .github/workflows/ci.yml #666: Pull request #580 synchronize by rtetley
August 21, 2023 14:36 1h 35m 14s bug/vscoqtop-from-shell
bug/vscoqtop-from-shell
August 21, 2023 14:36 1h 35m 14s
Adapt to coq/coq#17928 (Search uses search_restriction instead of bool) .github/workflows/ci.yml #665: Pull request #564 synchronize by maximedenes
August 21, 2023 14:36 1h 24m 34s SkySkimmer:search-restr
SkySkimmer:search-restr
August 21, 2023 14:36 1h 24m 34s
Fix Nix build .github/workflows/ci.yml #664: Commit b57c98a pushed by maximedenes
August 21, 2023 14:35 1h 23m 19s coq-master
coq-master
August 21, 2023 14:35 1h 23m 19s
Adapt to coq/coq#17928 (Search uses search_restriction instead of bool) .github/workflows/ci.yml #663: Pull request #564 synchronize by maximedenes
August 21, 2023 14:29 8m 10s SkySkimmer:search-restr
SkySkimmer:search-restr
August 21, 2023 14:29 8m 10s
Merge pull request #582 from coq-community/test-coq-master .github/workflows/ci.yml #662: Commit a12d4e0 pushed by maximedenes
August 21, 2023 14:25 1h 14m 0s main
main
August 21, 2023 14:25 1h 14m 0s
Trigger CI on pushes to coq-master branch .github/workflows/ci.yml #661: Pull request #582 opened by maximedenes
August 21, 2023 14:23 14m 40s test-coq-master
test-coq-master
August 21, 2023 14:23 14m 40s
Correcting the toolchain manager .github/workflows/ci.yml #660: Pull request #580 opened by rtetley
August 21, 2023 13:44 1h 17m 38s bug/vscoqtop-from-shell
bug/vscoqtop-from-shell
August 21, 2023 13:44 1h 17m 38s
Merge pull request #577 from coq-community/beta-instructions .github/workflows/ci.yml #659: Commit 9e7871a pushed by maximedenes
August 21, 2023 09:19 55m 52s main
main
August 21, 2023 09:19 55m 52s
add instructions for beta release and Coq 8.18+rc1 .github/workflows/ci.yml #658: Pull request #577 synchronize by palmskog
August 20, 2023 19:18 53m 33s beta-instructions
beta-instructions
August 20, 2023 19:18 53m 33s
add instructions for beta release and Coq 8.18+rc1 .github/workflows/ci.yml #657: Pull request #577 opened by palmskog
August 20, 2023 19:03 1h 0m 33s beta-instructions
beta-instructions
August 20, 2023 19:03 1h 0m 33s
Merge pull request #576 from coq-community/fix-publish .github/workflows/ci.yml #656: Commit 44202d4 pushed by maximedenes
August 19, 2023 11:43 1h 5m 12s main
main
August 19, 2023 11:43 1h 5m 12s
Fix marketplace, open-vsx & OPAM publication .github/workflows/ci.yml #655: Pull request #576 synchronize by maximedenes
August 19, 2023 08:47 1h 0m 58s fix-publish
fix-publish
August 19, 2023 08:47 1h 0m 58s
Fix marketplace, open-vsx & OPAM publication .github/workflows/ci.yml #654: Pull request #576 synchronize by maximedenes
August 18, 2023 23:21 15s fix-publish
fix-publish
August 18, 2023 23:21 15s
wip .github/workflows/cd.yml #16: Commit 4f07e1c pushed by maximedenes
August 18, 2023 23:21 6m 39s fix-publish
fix-publish
August 18, 2023 23:21 6m 39s
Fix marketplace, open-vsx & OPAM publication .github/workflows/ci.yml #653: Pull request #576 synchronize by maximedenes
August 18, 2023 23:10 1m 7s fix-publish
fix-publish
August 18, 2023 23:10 1m 7s
wip .github/workflows/cd.yml #15: Commit 84990cd pushed by maximedenes
August 18, 2023 23:10 5m 9s fix-publish
fix-publish
August 18, 2023 23:10 5m 9s
Fix marketplace, open-vsx & OPAM publication .github/workflows/ci.yml #652: Pull request #576 synchronize by maximedenes
August 18, 2023 22:21 50m 1s fix-publish
fix-publish
August 18, 2023 22:21 50m 1s
wip .github/workflows/cd.yml #14: Commit 3781884 pushed by maximedenes
August 18, 2023 22:21 6m 6s fix-publish
fix-publish
August 18, 2023 22:21 6m 6s
Fix marketplace, open-vsx & OPAM publication .github/workflows/cd.yml #13: Pull request #576 synchronize by maximedenes
August 18, 2023 22:12 6m 20s fix-publish
fix-publish
August 18, 2023 22:12 6m 20s
Fix marketplace, open-vsx & OPAM publication .github/workflows/ci.yml #651: Pull request #576 synchronize by maximedenes
August 18, 2023 22:12 59m 7s fix-publish
fix-publish
August 18, 2023 22:12 59m 7s
Fix marketplace, open-vsx & OPAM publication .github/workflows/cd.yml #12: Pull request #576 synchronize by maximedenes
August 18, 2023 16:06 6m 13s fix-publish
fix-publish
August 18, 2023 16:06 6m 13s
Fix marketplace, open-vsx & OPAM publication .github/workflows/ci.yml #650: Pull request #576 synchronize by maximedenes
August 18, 2023 16:06 1h 19m 2s fix-publish
fix-publish
August 18, 2023 16:06 1h 19m 2s
Fix marketplace, open-vsx & OPAM publication .github/workflows/cd.yml #11: Pull request #576 synchronize by maximedenes
August 18, 2023 15:54 5m 3s fix-publish
fix-publish
August 18, 2023 15:54 5m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-08-18 or the other filters available.