Skip to content

Actions: unicoq/unicoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#20132 (new_evar needs a relevance) CI #68: Pull request #98 opened by SkySkimmer
January 28, 2025 12:19 2m 31s SkySkimmer:evar-relevance
SkySkimmer:evar-relevance
January 28, 2025 12:19 2m 31s
Merge pull request #97 from SkySkimmer/set-leq-noenv CI #67: Commit 0980ef0 pushed by Janno
January 23, 2025 19:08 2m 23s master
master
January 23, 2025 19:08 2m 23s
Adapt to coq/coq#20069 (set_leq_sort doesn't need an env) CI #66: Pull request #97 opened by SkySkimmer
January 22, 2025 11:18 5m 3s SkySkimmer:set-leq-noenv
SkySkimmer:set-leq-noenv
January 22, 2025 11:18 5m 3s
Merge pull request #96 from Tragicus/dropped_sigma CI #65: Commit a9b72f7 pushed by Janno
December 5, 2024 21:11 2m 34s master
master
December 5, 2024 21:11 2m 34s
Dropped evar_map in munify.ml/check_product CI #64: Pull request #96 opened by Tragicus
December 5, 2024 21:01 2m 37s Tragicus:dropped_sigma
Tragicus:dropped_sigma
December 5, 2024 21:01 2m 37s
Update workflow file for 8.20 CI #63: Commit 393023d pushed by Janno
November 22, 2024 14:10 2m 37s master-8.20
master-8.20
November 22, 2024 14:10 2m 37s
Merge pull request #93 from rlepigre/br/prim-string CI #62: Commit 88f3964 pushed by Janno
June 14, 2024 07:45 2m 44s master
master
June 14, 2024 07:45 2m 44s
Adapt to coq/coq#18973. CI #61: Pull request #93 opened by rlepigre
June 4, 2024 07:49 2m 10s rlepigre:br/prim-string
rlepigre:br/prim-string
June 4, 2024 07:49 2m 10s
Merge pull request #92 from SkySkimmer/erelevance CI #60: Commit 66f78d6 pushed by Janno
April 24, 2024 00:02 2m 14s master
master
April 24, 2024 00:02 2m 14s
Update workflow file for 8.19 CI #59: Commit f371875 pushed by Janno
April 22, 2024 09:37 2m 8s master-8.19
master-8.19
April 22, 2024 09:37 2m 8s
Adapt to coq/coq#18938 (EConstr.ERelevance) CI #58: Pull request #92 opened by SkySkimmer
April 17, 2024 11:53 1m 56s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 11:53 1m 56s
Merge pull request #89 from SkySkimmer/ci-relevance CI #57: Commit e0486d2 pushed by Janno
November 13, 2023 15:01 2m 25s master
master
November 13, 2023 15:01 2m 25s
Adapt to coq/coq#18280 (case relevance outside case info) CI #56: Pull request #89 opened by SkySkimmer
November 9, 2023 15:41 1m 47s SkySkimmer:ci-relevance
SkySkimmer:ci-relevance
November 9, 2023 15:41 1m 47s
Merge pull request #85 from SkySkimmer/sort-poly CI #55: Commit d7b2812 pushed by Janno
November 7, 2023 09:40 1m 58s master
master
November 7, 2023 09:40 1m 58s