Skip to content

Actions: ejgallego/coq-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,389 workflow runs
1,389 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #832 from ejgallego/better_fail_range Github CI #2864: Commit 2a01727 pushed by ejgallego
September 27, 2024 14:29 14m 52s main
main
September 27, 2024 14:29 14m 52s
Utils.with_control use VernacControl (adapt to coq/coq#19517 adding a control flag) Github CI #2863: Pull request #834 synchronize by ejgallego
September 27, 2024 14:22 17m 46s SkySkimmer:profile-control
SkySkimmer:profile-control
September 27, 2024 14:22 17m 46s
Utils.with_control use VernacControl (adapt to coq/coq#19517 adding a control flag) Github CI #2862: Pull request #834 opened by SkySkimmer
September 27, 2024 14:06 17m 4s SkySkimmer:profile-control
SkySkimmer:profile-control
September 27, 2024 14:06 17m 4s
[fleche] Highlight the full first line of the document on initialization error. Github CI #2861: Pull request #832 synchronize by ejgallego
September 27, 2024 11:08 18m 49s better_fail_range
better_fail_range
September 27, 2024 11:08 18m 49s
[fleche] Highlight the full first line of the document on initialization error. Github CI #2860: Pull request #832 opened by ejgallego
September 27, 2024 11:07 1m 14s better_fail_range
better_fail_range
September 27, 2024 11:07 1m 14s
[controller] [js] Initial javascript JSSO controller Github CI #2859: Pull request #433 synchronize by ejgallego
September 26, 2024 20:06 20m 23s js
js
September 26, 2024 20:06 20m 23s
[controller] [js] Initial javascript JSSO controller Github CI #2858: Pull request #433 synchronize by ejgallego
September 26, 2024 20:04 2m 26s js
js
September 26, 2024 20:04 2m 26s
[controller] [js] Initial javascript JSSO controller Github CI #2857: Pull request #433 synchronize by ejgallego
September 26, 2024 19:53 15m 28s js
js
September 26, 2024 19:53 15m 28s
[controller] [js] Initial javascript JSSO controller Github CI #2856: Pull request #433 synchronize by ejgallego
September 26, 2024 19:37 16m 10s js
js
September 26, 2024 19:37 16m 10s
[workspace] Include list of known modules in workspace. Github CI #2855: Pull request #505 synchronize by ejgallego
September 26, 2024 19:37 20m 52s workspace_files
workspace_files
September 26, 2024 19:37 20m 52s
[layout engine] Move Coq Layout engine tree to coq-lsp repos. Github CI #2854: Pull request #668 synchronize by ejgallego
September 26, 2024 19:25 25m 50s layout_engine
layout_engine
September 26, 2024 19:25 25m 50s
Merge pull request #829 from ejgallego/explain_err_plugin Github CI #2853: Commit 0640d54 pushed by ejgallego
September 26, 2024 19:24 20m 25s main
main
September 26, 2024 19:24 20m 25s
[ci] Bump some actions to remove CI warnings. Github CI #2852: Commit e9e9f80 pushed by ejgallego
September 26, 2024 19:24 16s main
main
September 26, 2024 19:24 16s
Merge pull request #776 from ejgallego/protocol_tweaks Github CI #2851: Commit d210faa pushed by ejgallego
September 26, 2024 19:22 2m 6s main
main
September 26, 2024 19:22 2m 6s
[doc] Some tweaks to PROTOCOL.md documentation. Github CI #2850: Pull request #776 synchronize by ejgallego
September 26, 2024 19:22 19m 39s protocol_tweaks
protocol_tweaks
September 26, 2024 19:22 19m 39s
[plugins] Example for error explaining plugin. Github CI #2849: Pull request #829 synchronize by ejgallego
September 26, 2024 19:14 17m 37s explain_err_plugin
explain_err_plugin
September 26, 2024 19:14 17m 37s
[plugins] Example for error explaining plugin. Github CI #2848: Pull request #829 synchronize by ejgallego
September 26, 2024 19:12 2m 36s explain_err_plugin
explain_err_plugin
September 26, 2024 19:12 2m 36s
Merge pull request #831 from ejgallego/tweaks Github CI #2847: Commit 32b3539 pushed by ejgallego
September 26, 2024 16:32 23m 20s main
main
September 26, 2024 16:32 23m 20s
[workspace] Include list of known modules in workspace. Github CI #2846: Pull request #505 synchronize by ejgallego
September 26, 2024 16:32 18m 13s workspace_files
workspace_files
September 26, 2024 16:32 18m 13s
[layout engine] Move Coq Layout engine tree to coq-lsp repos. Github CI #2845: Pull request #668 synchronize by ejgallego
September 26, 2024 16:26 18m 38s layout_engine
layout_engine
September 26, 2024 16:26 18m 38s
[nits] Minor refactorings and tweaks from the JS branch. Github CI #2844: Pull request #831 synchronize by ejgallego
September 26, 2024 16:19 17m 43s tweaks
tweaks
September 26, 2024 16:19 17m 43s
[nits] Minor refactorings and tweaks from the JS branch. Github CI #2843: Pull request #831 opened by ejgallego
September 26, 2024 16:16 3m 9s tweaks
tweaks
September 26, 2024 16:16 3m 9s
[controller] [js] Initial javascript JSSO controller Github CI #2842: Pull request #433 synchronize by ejgallego
September 26, 2024 15:50 18m 30s js
js
September 26, 2024 15:50 18m 30s
[controller] [js] Initial javascript JSSO controller Github CI #2841: Pull request #433 synchronize by ejgallego
September 26, 2024 15:38 11m 54s js
js
September 26, 2024 15:38 11m 54s
[controller] [js] Initial javascript JSSO controller Github CI #2840: Pull request #433 synchronize by ejgallego
September 26, 2024 15:17 18m 9s js
js
September 26, 2024 15:17 18m 9s