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

Add setting to enable/disable completion .github/workflows/ci.yml #547: Pull request #527 opened by maximedenes
July 31, 2023 13:01 1h 16m 36s completion-settings
completion-settings
July 31, 2023 13:01 1h 16m 36s
Merge pull request #481 from coq-community/bug/panel-tabs .github/workflows/ci.yml #546: Commit 0abe93b pushed by rtetley
July 31, 2023 06:54 1h 3m 3s main
main
July 31, 2023 06:54 1h 3m 3s
Re-building the tab system for the query panel .github/workflows/ci.yml #545: Pull request #481 synchronize by rtetley
July 28, 2023 14:10 1h 14m 4s bug/panel-tabs
bug/panel-tabs
July 28, 2023 14:10 1h 14m 4s
Merge pull request #526 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #544: Commit f718043 pushed by maximedenes
July 25, 2023 07:51 1h 4m 5s main
main
July 25, 2023 07:51 1h 4m 5s
Bump word-wrap from 1.2.3 to 1.2.4 in /client .github/workflows/ci.yml #543: Pull request #526 opened by dependabot bot
July 20, 2023 06:33 1h 0m 37s dependabot/npm_and_yarn/client/word-wrap-1.2.4
dependabot/npm_and_yarn/client/word-wrap-1.2.4
July 20, 2023 06:33 1h 0m 37s
Merge pull request #521 from coq-community/fix-goals-global-env .github/workflows/ci.yml #542: Commit d38e79b pushed by maximedenes
July 15, 2023 11:12 58m 30s main
main
July 15, 2023 11:12 58m 30s
Merge pull request #519 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #541: Commit c866263 pushed by maximedenes
July 15, 2023 11:12 50m 59s main
main
July 15, 2023 11:12 50m 59s
Merge pull request #518 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #540: Commit e72d24d pushed by maximedenes
July 15, 2023 11:12 45m 54s main
main
July 15, 2023 11:12 45m 54s
Rework handling of vernac state .github/workflows/ci.yml #539: Pull request #521 synchronize by maximedenes
July 15, 2023 10:15 52m 12s fix-goals-global-env
fix-goals-global-env
July 15, 2023 10:15 52m 12s
Bump semver from 6.3.0 to 6.3.1 in /client/goal-view-ui .github/workflows/ci.yml #538: Pull request #518 synchronize by dependabot bot
July 15, 2023 10:11 59m 12s dependabot/npm_and_yarn/client/goal-view-ui/semver-6.3.1
dependabot/npm_and_yarn/client/goal-view-ui/semver-6.3.1
July 15, 2023 10:11 59m 12s
Bump semver from 6.3.0 to 6.3.1 in /client/search-ui .github/workflows/ci.yml #537: Pull request #519 synchronize by dependabot bot
July 15, 2023 10:11 58m 18s dependabot/npm_and_yarn/client/search-ui/semver-6.3.1
dependabot/npm_and_yarn/client/search-ui/semver-6.3.1
July 15, 2023 10:11 58m 18s
Merge pull request #522 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #536: Commit daf8638 pushed by maximedenes
July 15, 2023 10:11 58m 24s main
main
July 15, 2023 10:11 58m 24s
Rework handling of vernac state .github/workflows/ci.yml #535: Pull request #521 synchronize by maximedenes
July 15, 2023 10:10 59m 26s fix-goals-global-env
fix-goals-global-env
July 15, 2023 10:10 59m 26s
Bump semver from 5.7.1 to 5.7.2 in /client .github/workflows/ci.yml #534: Pull request #522 opened by dependabot bot
July 13, 2023 09:02 1h 6m 5s dependabot/npm_and_yarn/client/semver-5.7.2
dependabot/npm_and_yarn/client/semver-5.7.2
July 13, 2023 09:02 1h 6m 5s
Merge pull request #520 from coq-community/fix-buildall-typo .github/workflows/ci.yml #533: Commit 61d03b7 pushed by maximedenes
July 13, 2023 09:02 1h 11m 17s main
main
July 13, 2023 09:02 1h 11m 17s
Rework handling of vernac state .github/workflows/ci.yml #532: Pull request #521 opened by maximedenes
July 13, 2023 08:00 1h 13m 3s fix-goals-global-env
fix-goals-global-env
July 13, 2023 08:00 1h 13m 3s
Fix typo in build:all target .github/workflows/ci.yml #531: Pull request #520 opened by maximedenes
July 13, 2023 07:58 53m 45s fix-buildall-typo
fix-buildall-typo
July 13, 2023 07:58 53m 45s
Bump semver from 6.3.0 to 6.3.1 in /client/search-ui .github/workflows/ci.yml #530: Pull request #519 opened by dependabot bot
July 12, 2023 23:09 1h 3m 0s dependabot/npm_and_yarn/client/search-ui/semver-6.3.1
dependabot/npm_and_yarn/client/search-ui/semver-6.3.1
July 12, 2023 23:09 1h 3m 0s
Bump semver from 6.3.0 to 6.3.1 in /client/goal-view-ui .github/workflows/ci.yml #529: Pull request #518 opened by dependabot bot
July 12, 2023 23:09 41m 29s dependabot/npm_and_yarn/client/goal-view-ui/semver-6.3.1
dependabot/npm_and_yarn/client/goal-view-ui/semver-6.3.1
July 12, 2023 23:09 41m 29s
Merge pull request #498 from coq-community/windows-ci .github/workflows/ci.yml #528: Commit 7e64b12 pushed by maximedenes
July 8, 2023 08:40 55m 15s main
main
July 8, 2023 08:40 55m 15s
Add support for Windows in CI .github/workflows/ci.yml #527: Pull request #498 synchronize by maximedenes
July 8, 2023 07:38 50m 0s windows-ci
windows-ci
July 8, 2023 07:38 50m 0s
Add support for Windows in CI .github/workflows/ci.yml #526: Pull request #498 synchronize by maximedenes
July 8, 2023 07:21 16m 51s windows-ci
windows-ci
July 8, 2023 07:21 16m 51s
Add support for Windows in CI .github/workflows/ci.yml #525: Pull request #498 synchronize by maximedenes
July 7, 2023 19:24 1h 6m 3s windows-ci
windows-ci
July 7, 2023 19:24 1h 6m 3s
Add support for Windows in CI .github/workflows/ci.yml #524: Pull request #498 synchronize by maximedenes
July 7, 2023 18:22 59m 19s windows-ci
windows-ci
July 7, 2023 18:22 59m 19s
depend on sel 0.4.0 .github/workflows/ci.yml #523: Pull request #512 synchronize by gares
July 4, 2023 14:36 17m 22s unvendor-sel
unvendor-sel
July 4, 2023 14:36 17m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-07-04 or the other filters available.