Skip to content

Actions: ejgallego/coq-lsp

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[vscode] Syntax highlighting for Coq 8.17-8.20 Github CI #3030: Pull request #872 opened by 4ever2
November 13, 2024 21:40 17m 49s 4ever2:syntax
4ever2:syntax
November 13, 2024 21:40 17m 49s
[vendor] Update Coq upstream Github CI #3029: Commit 66166db pushed by ejgallego
November 12, 2024 15:38 18m 21s main
main
November 12, 2024 15:38 18m 21s
Merge pull request #696 from ejgallego/remove_legacy_build_mode Github CI #3028: Commit a80801b pushed by ppedrot
November 12, 2024 14:44 24m 9s main
main
November 12, 2024 14:44 24m 9s
Adapt to Coq PR #19301: unify the syntax of definition and theorem Github CI #3027: Pull request #869 synchronize by herbelin
October 27, 2024 13:06 16m 4s herbelin:main+adapt-coq-pr19301-ceps42-unify-definition-theorem
herbelin:main+adapt-coq-pr19301-ceps42-unify-definition-theorem
October 27, 2024 13:06 16m 4s
[vendor] Update vendored Coq after upstream CI merges. Github CI #3026: Commit ee87c9d pushed by ejgallego
October 24, 2024 12:55 17m 25s main
main
October 24, 2024 12:55 17m 25s
Merge pull request #867 from SkySkimmer/ltac2-ltac1-genargs Github CI #3025: Commit c1f3908 pushed by SkySkimmer
October 24, 2024 07:05 15m 15s main
main
October 24, 2024 07:05 15m 15s
Adapt to Coq PR #19301: unify the syntax of definition and theorem Github CI #3024: Pull request #869 opened by herbelin
October 23, 2024 19:05 16m 13s herbelin:main+adapt-coq-pr19301-ceps42-unify-definition-theorem
herbelin:main+adapt-coq-pr19301-ceps42-unify-definition-theorem
October 23, 2024 19:05 16m 13s
Adapt to coq/coq#19687 (ltac2 in ltac1 genargs moved) Github CI #3023: Pull request #867 synchronize by SkySkimmer
October 23, 2024 13:34 23m 48s SkySkimmer:ltac2-ltac1-genargs
SkySkimmer:ltac2-ltac1-genargs
October 23, 2024 13:34 23m 48s
Adapt to coq/coq#19023 (Vernacexpr.subproof_kind) Github CI #3022: Pull request #866 synchronize by SkySkimmer
October 23, 2024 13:33 22m 14s SkySkimmer:abstract-subproof
SkySkimmer:abstract-subproof
October 23, 2024 13:33 22m 14s
Merge pull request #864 from SkySkimmer/constraint-source Github CI #3021: Commit f309a17 pushed by SkySkimmer
October 23, 2024 13:31 16m 35s main
main
October 23, 2024 13:31 16m 35s
Adapt to coq/coq#19617 (Vernacexpr.print_universes) Github CI #3020: Pull request #864 synchronize by SkySkimmer
October 23, 2024 13:30 18m 37s SkySkimmer:constraint-source
SkySkimmer:constraint-source
October 23, 2024 13:30 18m 37s
Adapt to coq/coq#19617 (Vernacexpr.print_universes) Github CI #3019: Pull request #864 synchronize by SkySkimmer
October 23, 2024 13:29 1m 38s SkySkimmer:constraint-source
SkySkimmer:constraint-source
October 23, 2024 13:29 1m 38s
Merge pull request #865 from ejgallego/we-will-rocq-you-pcoq Github CI #3018: Commit 0275e8d pushed by proux01
October 23, 2024 07:20 19m 3s main
main
October 23, 2024 07:20 19m 3s
Adapt to coq/coq#19617 (Vernacexpr.print_universes) Github CI #3017: Pull request #864 synchronize by SkySkimmer
October 22, 2024 11:32 16m 52s SkySkimmer:constraint-source
SkySkimmer:constraint-source
October 22, 2024 11:32 16m 52s
Adapt to coq/coq#19687 (ltac2 in ltac1 genargs moved) Github CI #3016: Pull request #867 opened by SkySkimmer
October 22, 2024 11:29 17m 13s SkySkimmer:ltac2-ltac1-genargs
SkySkimmer:ltac2-ltac1-genargs
October 22, 2024 11:29 17m 13s
Adapt to coq/coq#19023 (Vernacexpr.subproof_kind) Github CI #3015: Pull request #866 opened by SkySkimmer
October 22, 2024 11:17 16m 3s SkySkimmer:abstract-subproof
SkySkimmer:abstract-subproof
October 22, 2024 11:17 16m 3s
[coq] Adapt to coq/coq#19736 Github CI #3014: Pull request #865 synchronize by ejgallego
October 21, 2024 16:23 17m 55s we-will-rocq-you-pcoq
we-will-rocq-you-pcoq
October 21, 2024 16:23 17m 55s
[coq] Adapt to coq/coq#19736 Github CI #3013: Pull request #865 opened by ejgallego
October 21, 2024 15:38 17m 23s we-will-rocq-you-pcoq
we-will-rocq-you-pcoq
October 21, 2024 15:38 17m 23s
Adapt to coq/coq#19617 (Vernacexpr.print_universes) Github CI #3012: Pull request #864 opened by SkySkimmer
October 21, 2024 12:00 16m 56s SkySkimmer:constraint-source
SkySkimmer:constraint-source
October 21, 2024 12:00 16m 56s
Merge pull request #863 from SkySkimmer/del-unused-grammar Github CI #3011: Commit fae278e pushed by ejgallego
October 19, 2024 15:21 17m 38s main
main
October 19, 2024 15:21 17m 38s
Adapt to coq/coq#19726 (removed some unused genargs) Github CI #3010: Pull request #863 opened by SkySkimmer
October 18, 2024 13:45 18m 49s SkySkimmer:del-unused-grammar
SkySkimmer:del-unused-grammar
October 18, 2024 13:45 18m 49s
Merge pull request #859 from SkySkimmer/more-genarg Github CI #3009: Commit 090410c pushed by ejgallego
October 18, 2024 13:27 17m 17s main
main
October 18, 2024 13:27 17m 17s
Adapt to coq/coq#19697 (genarg register gives ArgT.tag to "default") Github CI #3008: Pull request #859 synchronize by ejgallego
October 18, 2024 13:19 18m 29s SkySkimmer:more-genarg
SkySkimmer:more-genarg
October 18, 2024 13:19 18m 29s
Adapt to coq/coq#19697 (genarg register gives ArgT.tag to "default") Github CI #3007: Pull request #859 synchronize by ejgallego
October 18, 2024 13:19 25s SkySkimmer:more-genarg
SkySkimmer:more-genarg
October 18, 2024 13:19 25s
Merge pull request #858 from SkySkimmer/print-univ-subgraph-raw-univ Github CI #3006: Commit 4f3bde6 pushed by proux01
October 17, 2024 13:47 18m 40s main
main
October 17, 2024 13:47 18m 40s