Skip to content

Actions: rocq-community/rocq-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
490 workflow runs
490 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #1112 from proux01/backport-22357 Github CI #3961: Commit 80bb525 pushed by proux01
28m 24s main
main
28m 24s
Permute overlays for Rocq #22357 and #22161 Github CI #3960: Pull request #1112 opened by proux01
29m 0s proux01:backport-22357
proux01:backport-22357
29m 0s
fleche, petanque: own Rocq states in one central store, let clients free them Github CI #3959: Pull request #1111 opened by remix7531
28m 22s remix7531:states-central-store
remix7531:states-central-store
28m 22s
Merge pull request #1110 from proux01/rocq22357 Github CI #3958: Commit c9ae1cc pushed by proux01
18m 19s main
main
18m 19s
Adapt to rocq-prover/rocq#22357 Github CI #3957: Pull request #1110 opened by proux01
18m 58s proux01:rocq22357
proux01:rocq22357
18m 58s
Merge pull request #1109 from SkySkimmer/tok-pat Github CI #3956: Commit b5bad1e pushed by ppedrot
42m 3s main
main
42m 3s
Adapt to rocq-prover/rocq#22161 (Tok pattern changes) Github CI #3955: Pull request #1109 opened by SkySkimmer
29m 20s SkySkimmer:tok-pat
SkySkimmer:tok-pat
29m 20s
Merge pull request #1082 from SkySkimmer/submods Github CI #3954: Commit f49d7b3 pushed by tchajed
18m 54s v9.2
v9.2
18m 54s
Add installation instructions Github CI #3953: Commit bc9b94b pushed by tchajed
1m 21s v9.2
v9.2
1m 21s
Adapt to rocq-prover/rocq#19290 (Proper RR typechecker) Github CI #3952: Pull request #1087 synchronize by yannl35133
28m 13s Yann-Leray:rewrite-rules
Yann-Leray:rewrite-rules
28m 13s
serlib: adapt to rocq-prover/rocq#22268 (numnot_option gains GlobRef fields) Github CI #3951: Pull request #1107 opened by JasonGross
29m 25s JasonGross:half-abstract-after
JasonGross:half-abstract-after
29m 25s
Merge pull request #1103 from SkySkimmer/up-sub Github CI #3950: Commit 2ac2a15 pushed by SkySkimmer
13m 8s main
main
13m 8s
Update vendored Github CI #3949: Pull request #1103 synchronize by SkySkimmer
13m 8s SkySkimmer:up-sub
SkySkimmer:up-sub
13m 8s
Update vendored Github CI #3948: Pull request #1103 synchronize by SkySkimmer
18s SkySkimmer:up-sub
SkySkimmer:up-sub
18s
Update vendored Github CI #3947: Pull request #1103 synchronize by SkySkimmer
33s SkySkimmer:up-sub
SkySkimmer:up-sub
33s
Merge pull request #1106 from CalosciMatteo/BugSearchKind Github CI #3946: Commit 8ec9e1e pushed by SkySkimmer
7m 43s main
main
7m 43s
Update vendored Github CI #3945: Pull request #1103 synchronize by SkySkimmer
14m 8s SkySkimmer:up-sub
SkySkimmer:up-sub
14m 8s
Update vendored Github CI #3944: Pull request #1103 reopened by SkySkimmer
58s SkySkimmer:up-sub
SkySkimmer:up-sub
58s
Merge pull request #1101 from SkySkimmer/record-with Github CI #3943: Commit 68671ef pushed by SkySkimmer
7m 32s main
main
7m 32s
Adapt to rocq-prover/rocq#22207 (record with syntax) Github CI #3942: Pull request #1101 synchronize by SkySkimmer
6m 16s SkySkimmer:record-with
SkySkimmer:record-with
6m 16s
Merge pull request #1104 from SkySkimmer/notaana Github CI #3941: Commit 448af65 pushed by ppedrot
8m 15s main
main
8m 15s
Adapt to rocq-prover/rocq#22209 Github CI #3940: Pull request #1106 opened by CalosciMatteo
5m 31s CalosciMatteo:BugSearchKind
CalosciMatteo:BugSearchKind
5m 31s
Adapt to rocq-prover/rocq#22209 Github CI #3939: Pull request #1105 opened by CalosciMatteo
6m 53s CalosciMatteo:adapt-rocq-22209
CalosciMatteo:adapt-rocq-22209
6m 53s
Update vendored Github CI #3938: Pull request #1103 synchronize by SkySkimmer
9m 41s SkySkimmer:up-sub
SkySkimmer:up-sub
9m 41s
Update vendored Github CI #3937: Pull request #1103 synchronize by SkySkimmer
8m 57s SkySkimmer:up-sub
SkySkimmer:up-sub
8m 57s