Skip to content

Actions: unicoq/unicoq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
18 workflow runs
18 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Merge pull request #88 from ppedrot/rm-deprecated-names-api CI #54: Commit 04d5e07 pushed by Janno
November 4, 2023 09:17 2m 1s master
master
November 4, 2023 09:17 2m 1s
Adapt w.r.t. coq/coq#18250. CI #53: Pull request #88 opened by ppedrot
November 3, 2023 23:02 2m 0s ppedrot:rm-deprecated-names-api
ppedrot:rm-deprecated-names-api
November 3, 2023 23:02 2m 0s
Updating workflow file CI #52: Commit 9fa8abf pushed by beta-ziliani
September 27, 2023 13:00 2m 20s master-8.18
master-8.18
September 27, 2023 13:00 2m 20s
Adapt to coq/coq#17836 (sort poly) CI #51: Pull request #85 opened by SkySkimmer
September 19, 2023 11:45 2m 20s SkySkimmer:sort-poly
SkySkimmer:sort-poly
September 19, 2023 11:45 2m 20s
Merge pull request #84 from SkySkimmer/depr-versions CI #50: Commit d9b0e1f pushed by ppedrot
June 7, 2023 10:01 2m 25s master
master
June 7, 2023 10:01 2m 25s
Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool) CI #49: Pull request #84 opened by SkySkimmer
June 2, 2023 10:39 2m 21s SkySkimmer:depr-versions
SkySkimmer:depr-versions
June 2, 2023 10:39 2m 21s
Merge pull request #83 from SkySkimmer/app-head CI #48: Commit 386f2b9 pushed by Janno
May 31, 2023 16:43 2m 41s master
master
May 31, 2023 16:43 2m 41s
Adapt to coq/coq#17633 (decompose_app returns array not list) CI #47: Pull request #83 opened by SkySkimmer
May 24, 2023 13:30 2m 20s SkySkimmer:app-head
SkySkimmer:app-head
May 24, 2023 13:30 2m 20s
Merge pull request #82 from SkySkimmer/reduction CI #46: Commit e2ab868 pushed by Janno
May 2, 2023 09:50 2m 20s master
master
May 2, 2023 09:50 2m 20s
Adapt to coq/coq#17453 (Reduction->Conversion) CI #45: Pull request #82 opened by SkySkimmer
April 3, 2023 10:18 2m 51s SkySkimmer:reduction
SkySkimmer:reduction
April 3, 2023 10:18 2m 51s
Set Coq version to 8.17 for CI. CI #44: Commit babee3e pushed by Janno
March 28, 2023 11:19 2m 28s master-8.17
master-8.17
March 28, 2023 11:19 2m 28s
Merge pull request #75 from ppedrot/clean-evarmap-api CI #43: Commit 0c33033 pushed by Janno
March 28, 2023 11:18 2m 5s master-8.17
master-8.17
March 28, 2023 11:18 2m 5s