Skip to content

Actions: ejgallego/coq-lsp

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[editor] [fmt] Fix formatting nit to make CI green again. Github CI #2963: Commit 4012c75 pushed by ejgallego
October 1, 2024 13:35 18m 10s main
main
October 1, 2024 13:35 18m 10s
Merge pull request #826 from SkySkimmer/ltac2-ctor-warn Github CI #2962: Commit 670cf0d pushed by ejgallego
October 1, 2024 12:42 18m 25s main
main
October 1, 2024 12:42 18m 25s
Adapt to coq/coq#19575 (ltac2 parsing uses attributes) Github CI #2961: Pull request #826 synchronize by ejgallego
October 1, 2024 12:16 18m 54s SkySkimmer:ltac2-ctor-warn
SkySkimmer:ltac2-ctor-warn
October 1, 2024 12:16 18m 54s
[js] Place conversion functions on their own file. Github CI #2960: Commit 5cca781 pushed by ejgallego
October 1, 2024 12:05 19m 16s main
main
October 1, 2024 12:05 19m 16s
Code Actions Github CI #2959: Pull request #840 synchronize by ejgallego
September 30, 2024 20:14 17m 33s codeAction
codeAction
September 30, 2024 20:14 17m 33s
Code Actions Github CI #2958: Pull request #840 synchronize by ejgallego
September 30, 2024 20:05 10m 4s codeAction
codeAction
September 30, 2024 20:05 10m 4s
Code Actions Github CI #2957: Pull request #840 synchronize by ejgallego
September 30, 2024 19:43 20m 12s codeAction
codeAction
September 30, 2024 19:43 20m 12s
Merge pull request #844 from ejgallego/nits_refactor_fleche Github CI #2956: Commit b5d3df6 pushed by ejgallego
September 30, 2024 19:42 18m 1s main
main
September 30, 2024 19:42 18m 1s
[ci] [worker] Remove temporal pin for JSOO Github CI #2955: Commit f4a0290 pushed by ejgallego
September 30, 2024 15:38 17m 47s main
main
September 30, 2024 15:38 17m 47s
[build] [worker] [ci] Fixup mistake in #842 Github CI #2954: Commit 6242798 pushed by ejgallego
September 30, 2024 14:43 17m 37s main
main
September 30, 2024 14:43 17m 37s
Nits refactor fleche Github CI #2953: Pull request #844 opened by ejgallego
September 30, 2024 11:25 18m 20s nits_refactor_fleche
nits_refactor_fleche
September 30, 2024 11:25 18m 20s
Code Actions Github CI #2952: Pull request #840 synchronize by ejgallego
September 30, 2024 11:25 18m 6s codeAction
codeAction
September 30, 2024 11:25 18m 6s
Code Actions Github CI #2951: Pull request #840 synchronize by ejgallego
September 30, 2024 11:00 24m 53s codeAction
codeAction
September 30, 2024 11:00 24m 53s
Merge pull request #843 from ejgallego/diagnostics_data Github CI #2950: Commit 5559fb9 pushed by ejgallego
September 30, 2024 11:00 18m 11s main
main
September 30, 2024 11:00 18m 11s
[lang] Move Lang.Diagnostics.Data.t from a list to name field Github CI #2949: Pull request #843 opened by ejgallego
September 30, 2024 10:45 21m 44s diagnostics_data
diagnostics_data
September 30, 2024 10:45 21m 44s
Code Actions Github CI #2948: Pull request #840 synchronize by ejgallego
September 30, 2024 10:44 16m 1s codeAction
codeAction
September 30, 2024 10:44 16m 1s
Merge pull request #842 from ejgallego/webbuild_flexible Github CI #2947: Commit 163e6be pushed by ejgallego
September 29, 2024 20:20 25m 26s main
main
September 29, 2024 20:20 25m 26s
Merge branch 'v8.18' into v8.17 Github CI #2946: Commit ce72a62 pushed by ejgallego
September 29, 2024 20:06 32m 49s v8.17
v8.17
September 29, 2024 20:06 32m 49s
Merge branch 'v8.19' into v8.18 Github CI #2945: Commit 61bb80e pushed by ejgallego
September 29, 2024 20:06 29m 5s v8.18
v8.18
September 29, 2024 20:06 29m 5s
Merge branch 'v8.20' into v8.19 Github CI #2944: Commit 1685e18 pushed by ejgallego
September 29, 2024 20:06 25m 16s v8.19
v8.19
September 29, 2024 20:06 25m 16s
[makefile] [worker] Unset VENDORED_SETUP for CI build Github CI #2943: Commit 7e50a21 pushed by ejgallego
September 29, 2024 20:05 16m 47s v8.20
v8.20
September 29, 2024 20:05 16m 47s
[ci] [worker] Make the build flexible for non-vendored setups. Github CI #2942: Pull request #842 opened by ejgallego
September 29, 2024 20:02 17m 30s webbuild_flexible
webbuild_flexible
September 29, 2024 20:02 17m 30s
Merge branch 'v8.18' into v8.17 Github CI #2941: Commit 1cc07a0 pushed by ejgallego
September 29, 2024 19:31 19m 47s v8.17
v8.17
September 29, 2024 19:31 19m 47s
[v8.18] Adapt Ltac2 example to API change. Github CI #2940: Commit 719c726 pushed by ejgallego
September 29, 2024 19:17 23m 6s v8.18
v8.18
September 29, 2024 19:17 23m 6s
Merge branch 'v8.19' into v8.18 Github CI #2939: Commit f3823f5 pushed by ejgallego
September 29, 2024 19:14 2m 49s v8.18
v8.18
September 29, 2024 19:14 2m 49s