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 #812 from ejgallego/release_0_2_0 Github CI #2770: Commit c000462 pushed by ejgallego
August 29, 2024 13:12 9m 57s main
main
August 29, 2024 13:12 9m 57s
[meta] Release 0.2.0 Github CI #2769: Pull request #812 opened by ejgallego
August 29, 2024 13:04 17m 33s release_0_2_0
release_0_2_0
August 29, 2024 13:04 17m 33s
[8.20] Fix tests Github CI #2768: Commit cd742c3 pushed by ejgallego
August 29, 2024 12:54 5m 38s v8.20
v8.20
August 29, 2024 12:54 5m 38s
Merge branch 'main' into v8.20 Github CI #2767: Commit 21569e7 pushed by ejgallego
August 29, 2024 12:53 1m 35s v8.20
v8.20
August 29, 2024 12:53 1m 35s
[compat] Initial 8.20 branch Github CI #2766: Commit 7ee3078 pushed by ejgallego
August 29, 2024 12:50 2m 33s v8.20
v8.20
August 29, 2024 12:50 2m 33s
[compat] Initial 8.20 branch Github CI #2765: Commit 94eb92c pushed by ejgallego
August 29, 2024 12:49 1m 27s v8.20
v8.20
August 29, 2024 12:49 1m 27s
Merge pull request #811 from ejgallego/bump_coq Github CI #2764: Commit 8f38de6 pushed by ejgallego
August 27, 2024 18:51 25m 9s main
main
August 27, 2024 18:51 25m 9s
[vendor] Bump Coq. Github CI #2763: Pull request #811 opened by ejgallego
August 27, 2024 18:33 24m 24s bump_coq
bump_coq
August 27, 2024 18:33 24m 24s
Adapt to Coq PR #19404: an algebra of types for the instances of notation variables Github CI #2762: Pull request #810 synchronize by herbelin
July 21, 2024 09:41 16m 1s herbelin:main+adapt-coq-pr19404-general-recursive-notations
herbelin:main+adapt-coq-pr19404-general-recursive-notations
July 21, 2024 09:41 16m 1s
Adapt to Coq PR #19404: an algebra of types for the instances of notation variables Github CI #2761: Pull request #810 opened by herbelin
July 21, 2024 08:32 15m 10s herbelin:main+adapt-coq-pr19404-general-recursive-notations
herbelin:main+adapt-coq-pr19404-general-recursive-notations
July 21, 2024 08:32 15m 10s
Adapt to https://github.com/coq/coq/pull/19310 Github CI #2760: Pull request #809 opened by proux01
July 20, 2024 18:53 16m 42s proux01:coq_19310
proux01:coq_19310
July 20, 2024 18:53 16m 42s
Merge pull request #794 from ejgallego/petanque_toc Github CI #2759: Commit 9235b2f pushed by ejgallego
July 18, 2024 19:36 17m 9s main
main
July 18, 2024 19:36 17m 9s
[petanque] Add TOC protocol call. Github CI #2758: Pull request #794 synchronize by ejgallego
July 18, 2024 19:20 21m 26s petanque_toc
petanque_toc
July 18, 2024 19:20 21m 26s
Merge pull request #808 from ejgallego/hash_proof Github CI #2757: Commit c417d1e pushed by ejgallego
July 18, 2024 19:19 17m 5s main
main
July 18, 2024 19:19 17m 5s
[petanque] Add TOC protocol call. Github CI #2756: Pull request #794 synchronize by ejgallego
July 18, 2024 19:17 2m 58s petanque_toc
petanque_toc
July 18, 2024 19:17 2m 58s
[petanque] Hash proof states instead of system states Github CI #2755: Pull request #808 synchronize by ejgallego
July 18, 2024 18:58 19m 26s hash_proof
hash_proof
July 18, 2024 18:58 19m 26s
[petanque] Hash proof states instead of system states Github CI #2754: Pull request #808 opened by ejgallego
July 18, 2024 18:51 7m 12s hash_proof
hash_proof
July 18, 2024 18:51 7m 12s
Merge pull request #807 from SkySkimmer/discharge-export Github CI #2753: Commit fed26ce pushed by ejgallego
July 17, 2024 14:59 18m 46s main
main
July 17, 2024 14:59 18m 46s
Adapt to coq/coq#19361 (libobject export object type change) Github CI #2752: Pull request #807 synchronize by ejgallego
July 17, 2024 14:54 17m 39s SkySkimmer:discharge-export
SkySkimmer:discharge-export
July 17, 2024 14:54 17m 39s
Adapt to coq/coq#19361 (libobject export object type change) Github CI #2751: Pull request #807 opened by SkySkimmer
July 15, 2024 11:36 15m 34s SkySkimmer:discharge-export
SkySkimmer:discharge-export
July 15, 2024 11:36 15m 34s
Merge pull request #804 from ejgallego/bump_coq_2 Github CI #2750: Commit 273db12 pushed by ejgallego
July 8, 2024 15:33 17m 3s main
main
July 8, 2024 15:33 17m 3s
[vendor] [deps] Bump Coq upstream Github CI #2749: Pull request #804 opened by ejgallego
July 8, 2024 15:21 17m 48s bump_coq_2
bump_coq_2
July 8, 2024 15:21 17m 48s
Merge pull request #801 from gares/quickfix-deprecated Github CI #2748: Commit 821edf9 pushed by ejgallego
July 8, 2024 09:42 18m 9s main
main
July 8, 2024 09:42 18m 9s
Merge pull request #802 from ppedrot/ltac1-split-some-plugins Github CI #2747: Commit 8c995f4 pushed by ppedrot
July 7, 2024 13:59 17m 56s main
main
July 7, 2024 13:59 17m 56s
Adapt w.r.t. coq/coq#19313. Github CI #2746: Pull request #802 synchronize by ejgallego
July 7, 2024 12:52 18m 46s ppedrot:ltac1-split-some-plugins
ppedrot:ltac1-split-some-plugins
July 7, 2024 12:52 18m 46s