Skip to content

Actions: coq/vscoq

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
131 workflow run results
131 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq 8.19 .github/workflows/ci.yml #877: Pull request #702 synchronize by rtetley
January 31, 2024 20:01 8m 49s coq-8.19
coq-8.19
January 31, 2024 20:01 8m 49s
Merge pull request #717 from CohenCyril/fix-flake .github/workflows/ci.yml #876: Commit 11a8f4c pushed by rtetley
January 31, 2024 10:12 8m 41s main
main
January 31, 2024 10:12 8m 41s
Nix flakes: Using the right ocamlPackages and updating locks .github/workflows/ci.yml #875: Pull request #717 synchronize by rtetley
January 31, 2024 10:01 8m 34s CohenCyril:fix-flake
CohenCyril:fix-flake
January 31, 2024 10:01 8m 34s
Nix flakes: Using the right ocamlPackages and updating locks .github/workflows/ci.yml #874: Pull request #717 opened by CohenCyril
January 30, 2024 18:30 8s CohenCyril:fix-flake
CohenCyril:fix-flake
January 30, 2024 18:30 8s
Merge pull request #711 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #873: Commit 1375ed3 pushed by rtetley
January 30, 2024 10:22 11m 5s main
main
January 30, 2024 10:22 11m 5s
Merge pull request #710 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #872: Commit 0bafa14 pushed by rtetley
January 30, 2024 10:22 9m 19s main
main
January 30, 2024 10:22 9m 19s
Merge pull request #715 from afdw/vscoq-path-cmd .github/workflows/ci.yml #871: Commit a972953 pushed by rtetley
January 30, 2024 09:43 14m 8s main
main
January 30, 2024 09:43 14m 8s
Merge pull request #704 from LittleJianCH/main .github/workflows/ci.yml #870: Commit b257360 pushed by rtetley
January 30, 2024 08:59 17m 19s main
main
January 30, 2024 08:59 17m 19s
Merge pull request #716 from coq-community/disable-install-windows-ci .github/workflows/ci.yml #869: Commit 1ae429c pushed by rtetley
January 30, 2024 08:31 18m 38s main
main
January 30, 2024 08:31 18m 38s
Coq 8.19 .github/workflows/ci.yml #868: Pull request #702 synchronize by rtetley
January 30, 2024 08:30 18s coq-8.19
coq-8.19
January 30, 2024 08:30 18s
Disable install-windows job in CI .github/workflows/ci.yml #867: Pull request #716 opened by rtetley
January 30, 2024 08:16 14m 18s disable-install-windows-ci
disable-install-windows-ci
January 30, 2024 08:16 14m 18s
Merge pull request #706 from coq-community/fix-vscode-test .github/workflows/ci.yml #866: Commit ffa199b pushed by rtetley
January 30, 2024 08:11 33s main
main
January 30, 2024 08:11 33s
Merge pull request #714 from SkySkimmer/dyn-no-anon .github/workflows/ci.yml #865: Commit 5722ca2 pushed by ppedrot
January 28, 2024 10:34 30m 7s coq-master
coq-master
January 28, 2024 10:34 30m 7s
Run vscoq.path as a shell command from the project directory .github/workflows/ci.yml #864: Pull request #715 opened by afdw
January 26, 2024 15:29 37m 40s afdw:vscoq-path-cmd
afdw:vscoq-path-cmd
January 26, 2024 15:29 37m 40s
Adapt to coq/coq#18529 (no Dyn.anonymous) .github/workflows/ci.yml #863: Pull request #714 opened by SkySkimmer
January 24, 2024 15:24 34m 41s SkySkimmer:dyn-no-anon
SkySkimmer:dyn-no-anon
January 24, 2024 15:24 34m 41s
Updating vscode-test .github/workflows/ci.yml #862: Pull request #706 synchronize by rtetley
January 24, 2024 15:13 8m 22s fix-vscode-test
fix-vscode-test
January 24, 2024 15:13 8m 22s
Bump vite from 2.9.16 to 2.9.17 in /client/goal-view-ui .github/workflows/ci.yml #861: Pull request #711 opened by dependabot bot
January 19, 2024 22:55 47m 17s dependabot/npm_and_yarn/client/goal-view-ui/vite-2.9.17
dependabot/npm_and_yarn/client/goal-view-ui/vite-2.9.17
January 19, 2024 22:55 47m 17s
Bump vite from 2.9.16 to 2.9.17 in /client/search-ui .github/workflows/ci.yml #860: Pull request #710 opened by dependabot bot
January 19, 2024 22:55 45m 56s dependabot/npm_and_yarn/client/search-ui/vite-2.9.17
dependabot/npm_and_yarn/client/search-ui/vite-2.9.17
January 19, 2024 22:55 45m 56s
Updating vscode-test .github/workflows/ci.yml #859: Pull request #706 synchronize by rtetley
January 16, 2024 15:44 1h 1m 12s fix-vscode-test
fix-vscode-test
January 16, 2024 15:44 1h 1m 12s
Updating vscode-test .github/workflows/ci.yml #858: Pull request #706 opened by rtetley
January 16, 2024 09:20 31m 52s fix-vscode-test
fix-vscode-test
January 16, 2024 09:20 31m 52s
Fix font-size in Coq Goals .github/workflows/ci.yml #857: Pull request #704 opened by LittleJianCH
January 4, 2024 07:22 11m 43s LittleJianCH:main
LittleJianCH:main
January 4, 2024 07:22 11m 43s
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