Skip to content

Actions: coq-community/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
886 workflow runs
886 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #910 from coq-community/bump-version .github/workflows/ci.yml #1307: Commit f13ff1a pushed by rtetley
September 20, 2024 08:55 Queued v2.2.1
v2.2.1
September 20, 2024 08:55 Queued
npm_and_yarn in /client for vite - Update #888124575 Dependabot Updates #14: by dependabot bot
September 20, 2024 08:54 1h 0m 39s
September 20, 2024 08:54 1h 0m 39s
Merge pull request #910 from coq-community/bump-version .github/workflows/ci.yml #1306: Commit f13ff1a pushed by rtetley
September 20, 2024 08:54 1h 23m 42s main
main
September 20, 2024 08:54 1h 23m 42s
bump version .github/workflows/ci.yml #1305: Pull request #910 opened by rtetley
September 20, 2024 08:00 51m 40s bump-version
bump-version
September 20, 2024 08:00 51m 40s
npm_and_yarn in /client for vite - Update #887800196 Dependabot Updates #13: by dependabot bot
September 19, 2024 19:39 52s
September 19, 2024 19:39 52s
npm_and_yarn in /client for vite - Update #886481201 Dependabot Updates #12: by dependabot bot
September 17, 2024 20:30 18s
September 17, 2024 20:30 18s
npm_and_yarn in /client for vite - Update #886427419 Dependabot Updates #11: by dependabot bot
September 17, 2024 19:45 27s
September 17, 2024 19:45 27s
Merge pull request #875 from Durbatuluk1701/cursor-nav-improvements .github/workflows/ci.yml #1304: Commit e2fd089 pushed by rtetley
September 14, 2024 13:39 9m 15s main
main
September 14, 2024 13:39 9m 15s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #18: Manually run by rtetley
September 14, 2024 09:35 1m 41s v2.2.0
v2.2.0
September 14, 2024 09:35 1m 41s
Merge pull request #901 from coq-community/bullet .github/workflows/ci.yml #1303: Commit e722705 pushed by rtetley
September 13, 2024 16:02 22m 23s main
main
September 13, 2024 16:02 22m 23s
npm_and_yarn in /client for xml2js - Update #884410094 Dependabot Updates #10: by dependabot bot
September 13, 2024 16:01 4m 37s
September 13, 2024 16:01 4m 37s
Merge pull request #897 from Durbatuluk1701/activity-bar-display-fix .github/workflows/ci.yml #1302: Commit 6ad8b29 pushed by rtetley
September 13, 2024 16:01 16m 23s main
main
September 13, 2024 16:01 16m 23s
fix: make VsCoq activity bar logo appear only when Coq files present .github/workflows/ci.yml #1301: Pull request #897 synchronize by Durbatuluk1701
September 13, 2024 14:31 37m 12s Durbatuluk1701:activity-bar-display-fix
Durbatuluk1701:activity-bar-display-fix
September 13, 2024 14:31 37m 12s
feat: adding option for interpreting to exact cursor position or next command during interpret to point .github/workflows/ci.yml #1300: Pull request #875 synchronize by Durbatuluk1701
September 13, 2024 14:24 30m 2s Durbatuluk1701:cursor-nav-improvements
Durbatuluk1701:cursor-nav-improvements
September 13, 2024 14:24 30m 2s
fix: make VsCoq activity bar logo appear only when Coq files present .github/workflows/ci.yml #1299: Pull request #897 synchronize by Durbatuluk1701
September 13, 2024 14:21 29m 0s Durbatuluk1701:activity-bar-display-fix
Durbatuluk1701:activity-bar-display-fix
September 13, 2024 14:21 29m 0s
npm_and_yarn in /client for xml2js - Update #884355492 Dependabot Updates #9: by dependabot bot
September 13, 2024 13:42 5m 33s
September 13, 2024 13:42 5m 33s
Merge pull request #904 from Durbatuluk1701/button-toggle-option .github/workflows/ci.yml #1298: Commit 3a1d581 pushed by rtetley
September 13, 2024 13:42 20m 21s main
main
September 13, 2024 13:42 20m 21s
fix: make VsCoq activity bar logo appear only when Coq files present .github/workflows/ci.yml #1297: Pull request #897 synchronize by Durbatuluk1701
September 13, 2024 13:38 13m 24s Durbatuluk1701:activity-bar-display-fix
Durbatuluk1701:activity-bar-display-fix
September 13, 2024 13:38 13m 24s
feat: add config option to control whether Coq buttons are displayed .github/workflows/ci.yml #1296: Pull request #904 synchronize by Durbatuluk1701
September 13, 2024 13:24 3m 55s Durbatuluk1701:button-toggle-option
Durbatuluk1701:button-toggle-option
September 13, 2024 13:24 3m 55s
feat: show message when goals are unfocused .github/workflows/ci.yml #1295: Pull request #901 synchronize by rtetley
September 13, 2024 12:20 14m 30s bullet
bullet
September 13, 2024 12:20 14m 30s
feat: show message when goals are unfocused .github/workflows/ci.yml #1294: Pull request #901 synchronize by rtetley
September 13, 2024 09:47 14m 7s bullet
bullet
September 13, 2024 09:47 14m 7s
feat: show message when goals are unfocused .github/workflows/ci.yml #1293: Pull request #901 synchronize by rtetley
September 13, 2024 09:44 9m 49s bullet
bullet
September 13, 2024 09:44 9m 49s
Merge pull request #903 from Durbatuluk1701/hover-fixes .github/workflows/ci.yml #1292: Commit 1dbaeb0 pushed by rtetley
September 13, 2024 08:52 4m 3s main
main
September 13, 2024 08:52 4m 3s
Merge pull request #902 from coq-community/prompt-queries .github/workflows/ci.yml #1291: Commit e705e29 pushed by rtetley
September 13, 2024 08:39 14m 0s main
main
September 13, 2024 08:39 14m 0s
feat: add config option to control whether Coq buttons are displayed .github/workflows/ci.yml #1290: Pull request #904 opened by Durbatuluk1701
September 13, 2024 04:11 13m 2s Durbatuluk1701:button-toggle-option
Durbatuluk1701:button-toggle-option
September 13, 2024 04:11 13m 2s