Skip to content

Actions: ejgallego/coq-lsp

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,359 workflow runs
1,359 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
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
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
November 12, 2024 14:44 24m 9s
[vendor] Update vendored Coq after upstream CI merges.
Github CI #3026: Commit ee87c9d pushed by ejgallego
October 24, 2024 12:55 17m 25s 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
October 24, 2024 07:05 15m 15s
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
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
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
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
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
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
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
October 22, 2024 11:32 16m 52s
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
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
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
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
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
October 19, 2024 15:21 17m 38s
Merge pull request #859 from SkySkimmer/more-genarg
Github CI #3009: Commit 090410c pushed by ejgallego
October 18, 2024 13:27 17m 17s 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
October 18, 2024 13:19 18m 29s
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
October 17, 2024 13:47 18m 40s