Skip to content

Actions: coq/vscoq

Actions

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

Improve hover provider .github/workflows/ci.yml #833: Pull request #697 opened by dlesbre
November 29, 2023 17:33 56m 11s dlesbre:dlesbre/hover-at-def
dlesbre:dlesbre/hover-at-def
November 29, 2023 17:33 56m 11s
Send a message instead of crashing when filename is invalid. .github/workflows/ci.yml #832: Pull request #696 opened by rtetley
November 29, 2023 13:34 46m 43s invalid-filename
invalid-filename
November 29, 2023 13:34 46m 43s
Merge pull request #695 from coq-community/goal-position .github/workflows/ci.yml #831: Commit 6a30d47 pushed by rtetley
November 29, 2023 07:14 53m 45s main
main
November 29, 2023 07:14 53m 45s
Goal position .github/workflows/ci.yml #830: Pull request #695 opened by rtetley
November 28, 2023 15:42 47m 35s goal-position
goal-position
November 28, 2023 15:42 47m 35s
Merge pull request #694 from tomtomjhj/docs .github/workflows/ci.yml #829: Commit ad1fa3f pushed by rtetley
November 27, 2023 09:14 50m 0s main
main
November 27, 2023 09:14 50m 0s
Refactor observe id .github/workflows/ci.yml #828: Pull request #693 synchronize by rtetley
November 27, 2023 09:13 58m 49s refactor_observe_id
refactor_observe_id
November 27, 2023 09:13 58m 49s
Update docs .github/workflows/ci.yml #827: Pull request #694 opened by tomtomjhj
November 26, 2023 15:30 55m 36s tomtomjhj:docs
tomtomjhj:docs
November 26, 2023 15:30 55m 36s
Refactor observe id .github/workflows/ci.yml #826: Pull request #693 synchronize by rtetley
November 24, 2023 14:22 48m 2s refactor_observe_id
refactor_observe_id
November 24, 2023 14:22 48m 2s
Refactor observe id .github/workflows/ci.yml #825: Pull request #693 opened by rtetley
November 23, 2023 14:22 59m 2s refactor_observe_id
refactor_observe_id
November 23, 2023 14:22 59m 2s
Merge pull request #690 from tomtomjhj/docs .github/workflows/ci.yml #824: Commit 1f1ed9e pushed by rtetley
November 22, 2023 15:45 50m 57s main
main
November 22, 2023 15:45 50m 57s
update docs and fix typo .github/workflows/ci.yml #823: Pull request #690 synchronize by rtetley
November 22, 2023 14:50 49m 52s tomtomjhj:docs
tomtomjhj:docs
November 22, 2023 14:50 49m 52s
Merge pull request #691 from maximedenes/fix-invalidation-bug .github/workflows/ci.yml #822: Commit f6cbb68 pushed by rtetley
November 22, 2023 14:39 53m 27s main
main
November 22, 2023 14:39 53m 27s
Fix observe id invalidation bug .github/workflows/ci.yml #821: Pull request #691 opened by maximedenes
November 21, 2023 12:34 45m 28s maximedenes:fix-invalidation-bug
maximedenes:fix-invalidation-bug
November 21, 2023 12:34 45m 28s
update docs and fix typo .github/workflows/ci.yml #820: Pull request #690 opened by tomtomjhj
November 20, 2023 07:48 49m 55s tomtomjhj:docs
tomtomjhj:docs
November 20, 2023 07:48 49m 55s
Add Semi-Continuous mode for larger and slower files .github/workflows/ci.yml #819: Pull request #689 synchronize by tlsomers
November 17, 2023 22:58 53m 26s tlsomers:semi-continuous-mode
tlsomers:semi-continuous-mode
November 17, 2023 22:58 53m 26s
Merge pull request #688 from ppedrot/detuplify-impargs .github/workflows/ci.yml #818: Commit 84032c7 pushed by SkySkimmer
November 16, 2023 14:23 49m 22s coq-master
coq-master
November 16, 2023 14:23 49m 22s
Adapt w.r.t. coq/coq#18312. .github/workflows/ci.yml #817: Pull request #688 opened by ppedrot
November 15, 2023 11:44 48m 32s ppedrot:detuplify-impargs
ppedrot:detuplify-impargs
November 15, 2023 11:44 48m 32s
Merge pull request #681 from coq-community/coq_14928 .github/workflows/ci.yml #816: Commit 907bed4 pushed by ppedrot
November 10, 2023 08:23 40m 23s coq-master
coq-master
November 10, 2023 08:23 40m 23s
Merge pull request #685 from ppedrot/stream_error_to_gramlib .github/workflows/ci.yml #815: Commit fd291f5 pushed by ppedrot
November 9, 2023 07:17 50m 24s coq-master
coq-master
November 9, 2023 07:17 50m 24s
Adapt w.r.t. coq/coq#17136. .github/workflows/ci.yml #814: Pull request #685 opened by ppedrot
November 6, 2023 10:00 1h 1m 54s ppedrot:stream_error_to_gramlib
ppedrot:stream_error_to_gramlib
November 6, 2023 10:00 1h 1m 54s
Merge pull request #684 from coq-community/error-guards .github/workflows/ci.yml #813: Commit a8dec86 pushed by rtetley
November 6, 2023 09:19 1h 27m 27s main
main
November 6, 2023 09:19 1h 27m 27s
Handle cases when document uri is not found in state .github/workflows/ci.yml #812: Pull request #684 opened by rtetley
November 6, 2023 08:41 1h 17m 7s error-guards
error-guards
November 6, 2023 08:41 1h 17m 7s
Merge pull request #679 from coq-community/perf-issues .github/workflows/ci.yml #811: Commit b6293e1 pushed by rtetley
November 3, 2023 10:40 1h 20m 26s main
main
November 3, 2023 10:40 1h 20m 26s
Working on performance issues of large files. .github/workflows/ci.yml #810: Pull request #679 synchronize by rtetley
November 3, 2023 10:22 57m 1s perf-issues
perf-issues
November 3, 2023 10:22 57m 1s
Working on performance issues of large files. .github/workflows/ci.yml #809: Pull request #679 synchronize by rtetley
November 2, 2023 13:16 1h 4m 34s perf-issues
perf-issues
November 2, 2023 13:16 1h 4m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-11-02 or the other filters available.