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

[wip] Allow command to process several Coq commands. Github CI #2814: Pull request #823 opened by ejgallego
September 18, 2024 15:47 18m 29s command_multiple
command_multiple
September 18, 2024 15:47 18m 29s
[serlib] Fix wrong pack name for ltac2_ltac1 plugin. Github CI #2813: Commit fe6ce0e pushed by ejgallego
September 17, 2024 16:56 17m 50s main
main
September 17, 2024 16:56 17m 50s
Adapt to https://github.com/coq/coq/pull/19530 Github CI #2812: Pull request #822 synchronize by proux01
September 17, 2024 06:48 17m 57s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:48 17m 57s
Adapt to https://github.com/coq/coq/pull/19530 Github CI #2811: Pull request #822 opened by proux01
September 17, 2024 06:30 17m 57s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:30 17m 57s
Merge pull request #821 from ejgallego/serlib_fix_ltac2_pierce_part2 Github CI #2810: Commit 68c3cdb pushed by ejgallego
September 16, 2024 21:28 39m 3s main
main
September 16, 2024 21:28 39m 3s
[serlib] Fix wrong piercing of Ltac2 AST + test case Github CI #2809: Pull request #821 synchronize by ejgallego
September 16, 2024 20:47 21m 34s serlib_fix_ltac2_pierce_part2
serlib_fix_ltac2_pierce_part2
September 16, 2024 20:47 21m 34s
Merge pull request #820 from ejgallego/serlib_ltac2_ltac1 Github CI #2808: Commit 956db4a pushed by ejgallego
September 16, 2024 20:46 19m 7s main
main
September 16, 2024 20:46 19m 7s
[serlib] Fix wrong piercing of Ltac2 AST + test case Github CI #2807: Pull request #821 synchronize by ejgallego
September 16, 2024 20:43 4m 29s serlib_fix_ltac2_pierce_part2
serlib_fix_ltac2_pierce_part2
September 16, 2024 20:43 4m 29s
[serlib] Fix wrong piercing of Ltac2 AST + test case Github CI #2806: Pull request #821 opened by ejgallego
September 16, 2024 20:42 57s serlib_fix_ltac2_pierce_part2
serlib_fix_ltac2_pierce_part2
September 16, 2024 20:42 57s
[serlib] Support for ltac2_ltac1 plugin Github CI #2805: Pull request #820 synchronize by ejgallego
September 16, 2024 20:32 20m 25s serlib_ltac2_ltac1
serlib_ltac2_ltac1
September 16, 2024 20:32 20m 25s
[serlib] Support for ltac2_ltac1 plugin Github CI #2804: Pull request #820 opened by ejgallego
September 16, 2024 20:31 3m 9s serlib_ltac2_ltac1
serlib_ltac2_ltac1
September 16, 2024 20:31 3m 9s
Merge pull request #819 from ejgallego/args_rewrite_tit Github CI #2803: Commit b5f572f pushed by ejgallego
September 14, 2024 13:39 18m 13s main
main
September 14, 2024 13:39 18m 13s
[workspace] [coq] Support _CoqProject arguments -type-in-type and allow-rewrite-rules (for 8.20) Github CI #2802: Pull request #819 opened by ejgallego
September 14, 2024 13:29 18m 46s args_rewrite_tit
args_rewrite_tit
September 14, 2024 13:29 18m 46s
Merge pull request #809 from proux01/coq_19310 Github CI #2801: Commit ce2bea5 pushed by ejgallego
September 10, 2024 13:45 25m 7s main
main
September 10, 2024 13:45 25m 7s
Adapt to https://github.com/coq/coq/pull/19310 Github CI #2800: Pull request #809 synchronize by ejgallego
September 10, 2024 10:08 25m 51s proux01:coq_19310
proux01:coq_19310
September 10, 2024 10:08 25m 51s
[controller] [js] Initial javascript JSSO controller Github CI #2799: Pull request #433 synchronize by ejgallego
September 9, 2024 18:22 25m 12s js
js
September 9, 2024 18:22 25m 12s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2798: Pull request #815 synchronize by ejgallego
September 9, 2024 12:53 14m 29s opam_windows
opam_windows
September 9, 2024 12:53 14m 29s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2797: Pull request #815 synchronize by ejgallego
September 4, 2024 10:09 14m 33s opam_windows
opam_windows
September 4, 2024 10:09 14m 33s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2796: Pull request #815 synchronize by ejgallego
August 31, 2024 18:32 12m 27s opam_windows
opam_windows
August 31, 2024 18:32 12m 27s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2795: Pull request #815 synchronize by ejgallego
August 31, 2024 13:43 7m 5s opam_windows
opam_windows
August 31, 2024 13:43 7m 5s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2794: Pull request #815 synchronize by ejgallego
August 30, 2024 21:08 7m 8s opam_windows
opam_windows
August 30, 2024 21:08 7m 8s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2793: Pull request #815 synchronize by ejgallego
August 30, 2024 20:43 7m 23s opam_windows
opam_windows
August 30, 2024 20:43 7m 23s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2792: Pull request #815 synchronize by ejgallego
August 30, 2024 20:17 17m 15s opam_windows
opam_windows
August 30, 2024 20:17 17m 15s
Merge pull request #813 from ejgallego/ppxlib_toolchain Github CI #2791: Commit 94d647e pushed by ejgallego
August 30, 2024 20:16 17m 41s main
main
August 30, 2024 20:16 17m 41s
[ci] [windows] Try OPAM 2.2 for the Windows build Github CI #2790: Pull request #815 synchronize by ejgallego
August 30, 2024 20:14 3m 3s opam_windows
opam_windows
August 30, 2024 20:14 3m 3s