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

[args] [coq] Allow to set ocamlpath and findlib init file separately. Github CI #2889: Pull request #837 synchronize by ejgallego
September 28, 2024 15:23 17m 14s init_ocaml
init_ocaml
September 28, 2024 15:23 17m 14s
[args] [coq] Allow to set ocamlpath and findlib init file separately. Github CI #2888: Pull request #837 opened by ejgallego
September 28, 2024 15:16 8m 4s init_ocaml
init_ocaml
September 28, 2024 15:16 8m 4s
[controller] [js] Initial javascript JSSO controller Github CI #2887: Pull request #433 synchronize by ejgallego
September 28, 2024 15:09 10m 3s js
js
September 28, 2024 15:09 10m 3s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2886: Pull request #815 synchronize by ejgallego
September 28, 2024 14:40 12m 21s opam_windows
opam_windows
September 28, 2024 14:40 12m 21s
[controller] [js] Initial javascript JSSO controller Github CI #2885: Pull request #433 synchronize by ejgallego
September 28, 2024 14:36 11m 27s js
js
September 28, 2024 14:36 11m 27s
[controller] [js] Initial javascript JSSO controller Github CI #2884: Pull request #433 synchronize by ejgallego
September 28, 2024 14:05 11m 13s js
js
September 28, 2024 14:05 11m 13s
[js] Build working filesystem for findlib-based worker. Github CI #2883: Commit b26437a pushed by ejgallego
September 28, 2024 14:01 Failure js
js
September 28, 2024 14:01 Failure
[controller] [js] Initial javascript JSSO controller Github CI #2882: Pull request #433 synchronize by ejgallego
September 28, 2024 12:33 5m 28s js
js
September 28, 2024 12:33 5m 28s
[controller] [js] Initial javascript JSSO controller Github CI #2881: Pull request #433 synchronize by ejgallego
September 28, 2024 12:09 14m 14s js
js
September 28, 2024 12:09 14m 14s
[controller] [js] Initial javascript JSSO controller Github CI #2880: Pull request #433 synchronize by ejgallego
September 28, 2024 11:38 9m 10s js
js
September 28, 2024 11:38 9m 10s
[controller] [js] Initial javascript JSSO controller Github CI #2879: Pull request #433 synchronize by ejgallego
September 28, 2024 10:46 6m 17s js
js
September 28, 2024 10:46 6m 17s
[controller] [js] Initial javascript JSSO controller Github CI #2878: Pull request #433 synchronize by ejgallego
September 28, 2024 10:40 2s js
js
September 28, 2024 10:40 2s
[controller] [js] Initial javascript JSSO controller Github CI #2877: Pull request #433 synchronize by ejgallego
September 28, 2024 10:36 1s js
js
September 28, 2024 10:36 1s
[controller] [js] Initial javascript JSSO controller Github CI #2876: Pull request #433 synchronize by ejgallego
September 28, 2024 10:24 2s js
js
September 28, 2024 10:24 2s
[controller] [js] Initial javascript JSSO controller Github CI #2875: Pull request #433 synchronize by ejgallego
September 27, 2024 20:28 9m 36s js
js
September 27, 2024 20:28 9m 36s
[controller] [js] Initial javascript JSSO controller Github CI #2874: Pull request #433 synchronize by ejgallego
September 27, 2024 19:49 9m 50s js
js
September 27, 2024 19:49 9m 50s
[controller] [js] Initial javascript JSSO controller Github CI #2873: Pull request #433 synchronize by ejgallego
September 27, 2024 19:38 9m 20s js
js
September 27, 2024 19:38 9m 20s
[controller] [js] Initial javascript JSSO controller Github CI #2872: Pull request #433 synchronize by ejgallego
September 27, 2024 18:58 13m 34s js
js
September 27, 2024 18:58 13m 34s
[controller] [js] Initial javascript JSSO controller Github CI #2871: Pull request #433 synchronize by ejgallego
September 27, 2024 18:47 10m 1s js
js
September 27, 2024 18:47 10m 1s
[controller] [js] Initial javascript JSSO controller Github CI #2870: Pull request #433 synchronize by ejgallego
September 27, 2024 18:23 10m 53s js
js
September 27, 2024 18:23 10m 53s
[controller] [js] Initial javascript JSSO controller Github CI #2869: Pull request #433 synchronize by ejgallego
September 27, 2024 17:49 9m 45s js
js
September 27, 2024 17:49 9m 45s
[controller] [js] Initial javascript JSSO controller Github CI #2868: Pull request #433 synchronize by ejgallego
September 27, 2024 16:46 10m 30s js
js
September 27, 2024 16:46 10m 30s
[controller] [js] Initial javascript JSSO controller Github CI #2867: Pull request #433 synchronize by ejgallego
September 27, 2024 15:51 12m 36s js
js
September 27, 2024 15:51 12m 36s
[controller] [js] Initial javascript JSSO controller Github CI #2866: Pull request #433 synchronize by ejgallego
September 27, 2024 15:51 52s js
js
September 27, 2024 15:51 52s
Merge pull request #834 from SkySkimmer/profile-control Github CI #2865: Commit ace5f55 pushed by ejgallego
September 27, 2024 14:43 17m 33s main
main
September 27, 2024 14:43 17m 33s