Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: ejgallego/rocq-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
942 workflow runs
942 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[readme] Update client. Github CI #3742: Commit e281101 pushed by ejgallego
16m 39s main
main
16m 39s
[petanque] New command petanque/list_notations_in_statement Github CI #3741: Pull request #1017 synchronize by ejgallego
18m 16s LLM4Rocq:v8.20-MoreCommands
LLM4Rocq:v8.20-MoreCommands
18m 16s
Merge pull request #1050 from ejgallego/layout_colors Github CI #3740: Commit 93b1f89 pushed by ejgallego
18m 14s main
main
18m 14s
[layout-engine] Support for notations with binders. Github CI #3739: Pull request #1050 synchronize by ejgallego
18m 46s layout_colors
layout_colors
18m 46s
[layout-engine] Support for notations with binders. Github CI #3738: Pull request #1050 synchronize by ejgallego
4m 10s layout_colors
layout_colors
4m 10s
[layout-engine] Support for notations with binders. Github CI #3737: Pull request #1050 opened by ejgallego
1m 23s layout_colors
layout_colors
1m 23s
Merge pull request #1049 from ejgallego/run_at_pos Github CI #3736: Commit 59377aa pushed by ejgallego
18m 13s main
main
18m 13s
[petanque] Add petanque/run_at_pos Github CI #3735: Pull request #1049 synchronize by ejgallego
13m 28s run_at_pos
run_at_pos
13m 28s
[petanque] Add petanque/run_at_pos Github CI #3734: Pull request #1049 synchronize by ejgallego
3m 46s run_at_pos
run_at_pos
3m 46s
[petanque] Add petanque/run_at_pos Github CI #3733: Pull request #1049 opened by ejgallego
17m 57s run_at_pos
run_at_pos
17m 57s
Merge pull request #1048 from ejgallego/ast_at_point Github CI #3732: Commit 1ab3d15 pushed by ejgallego
18m 11s main
main
18m 11s
[vscode] New command "Serialize Sentence at Point" Github CI #3731: Pull request #1048 opened by ejgallego
17m 42s ast_at_point
ast_at_point
17m 42s
[petanque] New command petanque/list_notations_in_statement Github CI #3730: Pull request #1017 synchronize by ejgallego
16m 59s LLM4Rocq:v8.20-MoreCommands
LLM4Rocq:v8.20-MoreCommands
16m 59s
[petanque] New command petanque/list_notations_in_statement Github CI #3729: Pull request #1017 synchronize by ejgallego
18m 17s LLM4Rocq:v8.20-MoreCommands
LLM4Rocq:v8.20-MoreCommands
18m 17s
[jsoo] [web worker] Address deprecated API Github CI #3728: Pull request #1046 opened by ejgallego
18m 47s jsoo_fix
jsoo_fix
18m 47s
Merge pull request #1039 from ejgallego/ci_54 Github CI #3727: Commit 46ae75f pushed by ejgallego
16m 8s main
main
16m 8s
[ocaml] [meta] Support OCaml 5.4, drop support for 5.0, 5.1, 5.2, Coq 8.17, 8.18, 8.19 Github CI #3726: Pull request #1039 synchronize by ejgallego
28m 16s ci_54
ci_54
28m 16s
[ocaml] [meta] Support OCaml 5.4, drop support for 5.0, 5.1, 5.2, Coq 8.17, 8.18, 8.19 Github CI #3725: Pull request #1039 synchronize by ejgallego
3m 38s ci_54
ci_54
3m 38s
Merge pull request #1045 from ejgallego/bump_deps Github CI #3724: Commit 2ebe743 pushed by ejgallego
16m 12s main
main
16m 12s
[ocaml] [meta] Support OCaml 5.4, drop support for 5.0, 5.1, 5.2, Coq 8.17, 8.18, 8.19 Github CI #3723: Pull request #1039 synchronize by ejgallego
16m 8s ci_54
ci_54
16m 8s
[deps] Bump all deps to account for Rocq overlays. Github CI #3722: Pull request #1045 synchronize by ejgallego
16m 25s bump_deps
bump_deps
16m 25s
[deps] Bump all deps to account for Rocq overlays. Github CI #3721: Pull request #1045 synchronize by ejgallego
2m 29s bump_deps
bump_deps
2m 29s
[ocaml] [meta] Support OCaml 5.4, drop support for 5.0, 5.1, 5.2, Coq 8.17, 8.18, 8.19 Github CI #3720: Pull request #1039 synchronize by ejgallego
3m 18s ci_54
ci_54
3m 18s
[deps] Bump all deps to account for Rocq overlays. Github CI #3719: Pull request #1045 synchronize by ejgallego
14m 30s bump_deps
bump_deps
14m 30s
[ocaml] [meta] Support OCaml 5.4, drop support for 5.0, 5.1, 5.2, Coq 8.17, 8.18, 8.19 Github CI #3718: Pull request #1039 synchronize by ejgallego
11m 47s ci_54
ci_54
11m 47s