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 #803 from SkySkimmer/all-undeclared-univs Github CI #2745: Commit e06a1a3 pushed by ejgallego
July 7, 2024 12:50 17m 56s main
main
July 7, 2024 12:50 17m 56s
Adapt w.r.t. coq/coq#19313. Github CI #2744: Pull request #802 synchronize by SkySkimmer
July 5, 2024 08:46 17m 17s ppedrot:ltac1-split-some-plugins
ppedrot:ltac1-split-some-plugins
July 5, 2024 08:46 17m 17s
Adapt to coq/coq#19311 (type errors use univ level set) Github CI #2743: Pull request #803 opened by SkySkimmer
July 4, 2024 15:02 18m 45s SkySkimmer:all-undeclared-univs
SkySkimmer:all-undeclared-univs
July 4, 2024 15:02 18m 45s
Adapt w.r.t. coq/coq#19313. Github CI #2742: Pull request #802 opened by ppedrot
July 4, 2024 09:18 17m 51s ppedrot:ltac1-split-some-plugins
ppedrot:ltac1-split-some-plugins
July 4, 2024 09:18 17m 51s
adapt to coq/coq#19300 Github CI #2741: Pull request #801 opened by gares
July 4, 2024 06:43 20m 14s gares:quickfix-deprecated
gares:quickfix-deprecated
July 4, 2024 06:43 20m 14s
[plugins] Baseline plugin for fcc Github CI #2740: Pull request #799 opened by ejgallego
July 1, 2024 14:21 16m 36s baseline
baseline
July 1, 2024 14:21 16m 36s
[tools] Checkdecls tool for Coq blueprints Github CI #2739: Pull request #785 synchronize by ejgallego
June 30, 2024 19:32 18m 4s checkdecls
checkdecls
June 30, 2024 19:32 18m 4s
[tools] Checkdecls tool for Coq blueprints Github CI #2738: Pull request #785 synchronize by ejgallego
June 28, 2024 12:13 17m 54s checkdecls
checkdecls
June 28, 2024 12:13 17m 54s
[tools] Checkdecls tool for Coq blueprints Github CI #2737: Pull request #785 synchronize by ejgallego
June 28, 2024 12:13 19s checkdecls
checkdecls
June 28, 2024 12:13 19s
Merge pull request #796 from herbelin/main+adapt-coq-pr19185-flatteni… Github CI #2736: Commit 3282609 pushed by ejgallego
June 26, 2024 12:54 17m 45s main
main
June 26, 2024 12:54 17m 45s
Adapt to Coq PR #19185: flattenting of global_declaration indirection. Github CI #2735: Pull request #796 opened by herbelin
June 25, 2024 15:22 19m 10s herbelin:main+adapt-coq-pr19185-flattening-global_declaration
herbelin:main+adapt-coq-pr19185-flattening-global_declaration
June 25, 2024 15:22 19m 10s
Merge pull request #795 from gares/quickfix Github CI #2734: Commit d3e998b pushed by ejgallego
June 24, 2024 15:54 16m 54s main
main
June 24, 2024 15:54 16m 54s
adapt to coq/coq#19147 Github CI #2733: Pull request #795 synchronize by ejgallego
June 24, 2024 15:15 19m 33s gares:quickfix
gares:quickfix
June 24, 2024 15:15 19m 33s
Merge pull request #792 from herbelin/main+adapt-coq-pr19107-merge-fi… Github CI #2732: Commit 1d5f1a3 pushed by ejgallego
June 24, 2024 15:12 17m 13s main
main
June 24, 2024 15:12 17m 13s
Adapt to change of types in Coq PR #19107. Github CI #2731: Pull request #792 synchronize by ejgallego
June 24, 2024 15:12 16m 35s herbelin:main+adapt-coq-pr19107-merge-fixpoint-cofixpoint
herbelin:main+adapt-coq-pr19107-merge-fixpoint-cofixpoint
June 24, 2024 15:12 16m 35s
adapt to coq/coq#19147 Github CI #2730: Pull request #795 synchronize by gares
June 20, 2024 11:22 16m 44s gares:quickfix
gares:quickfix
June 20, 2024 11:22 16m 44s
Merge branch 'v8.18' into v8.17 Github CI #2729: Commit 7b0dd87 pushed by ejgallego
June 20, 2024 08:21 17m 2s v8.17
v8.17
June 20, 2024 08:21 17m 2s
Merge branch 'v8.19' into v8.18 Github CI #2728: Commit 0ec271c pushed by ejgallego
June 20, 2024 08:16 15m 48s v8.18
v8.18
June 20, 2024 08:16 15m 48s
Merge branch 'v8.20' into v8.19 Github CI #2727: Commit 20d6fc4 pushed by ejgallego
June 20, 2024 08:12 22m 17s v8.19
v8.19
June 20, 2024 08:12 22m 17s
[petanque] Add TOC protocol call. Github CI #2725: Pull request #794 opened by ejgallego
June 19, 2024 19:20 18m 43s petanque_toc
petanque_toc
June 19, 2024 19:20 18m 43s
[workspace] Include list of known modules in workspace. Github CI #2724: Pull request #505 synchronize by ejgallego
June 19, 2024 18:49 17m 51s workspace_files
workspace_files
June 19, 2024 18:49 17m 51s
[tmp] Test for Coq PR fixing build in OCaml 5.x Github CI #2723: Pull request #793 synchronize by ejgallego
June 19, 2024 16:36 17m 59s test_mutex_fix
test_mutex_fix
June 19, 2024 16:36 17m 59s
[tmp] Test for Coq PR fixing build in OCaml 5.x Github CI #2722: Pull request #793 opened by ejgallego
June 19, 2024 13:29 18m 27s test_mutex_fix
test_mutex_fix
June 19, 2024 13:29 18m 27s
[tools] Checkdecls tool for Coq blueprints Github CI #2721: Pull request #785 synchronize by ejgallego
June 19, 2024 13:02 17m 35s checkdecls
checkdecls
June 19, 2024 13:02 17m 35s
Merge pull request #767 from herbelin/main+adapting-coq-pr19075-exten… Github CI #2720: Commit 7f41a32 pushed by ejgallego
June 19, 2024 12:05 22m 56s main
main
June 19, 2024 12:05 22m 56s
ProTip! You can narrow down the results and go further in time using created:<2024-06-19 or the other filters available.