Skip to content

Actions: damien-pous/relation-algebra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt w.r.t. coq/coq#19803. CI #82: Commit 7966d1a pushed by damien-pous
November 13, 2024 16:06 3m 49s master
master
November 13, 2024 16:06 3m 49s
Adapt w.r.t. coq/coq#19803. CI #81: Pull request #47 opened by ppedrot
November 7, 2024 18:11 2m 55s ppedrot:split-meta-state
ppedrot:split-meta-state
November 7, 2024 18:11 2m 55s
Remove code that has been deprecated for a while. CI #80: Commit f429176 pushed by damien-pous
October 22, 2024 12:23 3m 59s master
master
October 22, 2024 12:23 3m 59s
Remove code that has been deprecated for a while. CI #79: Pull request #46 reopened by damien-pous
October 22, 2024 12:23 3m 56s ppedrot:rm-deprecated-coqlib
ppedrot:rm-deprecated-coqlib
October 22, 2024 12:23 3m 56s
Remove code that has been deprecated for a while. CI #78: Pull request #46 opened by ppedrot
October 21, 2024 16:37 3m 59s ppedrot:rm-deprecated-coqlib
ppedrot:rm-deprecated-coqlib
October 21, 2024 16:37 3m 59s
CI setup for 8.20 & master CI #77: Commit 131b98a pushed by damien-pous
September 18, 2024 07:54 3m 45s master
master
September 18, 2024 07:54 3m 45s
CI setup for 8.20 & master CI #76: Commit 131b98a pushed by damien-pous
September 18, 2024 07:54 3m 48s v8.20
v8.20
September 18, 2024 07:54 3m 48s
v1.7.11 for Coq 8.20 CI #75: Commit fda9562 pushed by damien-pous
September 18, 2024 07:52 3m 57s master
master
September 18, 2024 07:52 3m 57s
Adapt to coq/coq#18938 (EConstr.ERelevance) CI #74: Commit dbb5713 pushed by damien-pous
April 23, 2024 17:29 2m 27s master
master
April 23, 2024 17:29 2m 27s
Adapt to coq/coq#18938 (EConstr.ERelevance) CI #73: Pull request #43 opened by SkySkimmer
April 18, 2024 10:28 2m 22s SkySkimmer:erelevance
SkySkimmer:erelevance
April 18, 2024 10:28 2m 22s
Adapt to https://github.com/coq/coq/pull/18590 CI #72: Commit a5c88eb pushed by damien-pous
February 1, 2024 17:20 8m 31s master
master
February 1, 2024 17:20 8m 31s
Adapt to https://github.com/coq/coq/pull/18590 CI #71: Pull request #41 opened by proux01
January 31, 2024 20:02 8m 4s proux01:coq_18590
proux01:coq_18590
January 31, 2024 20:02 8m 4s
CHANGELOG for 1.7.10 CI #70: Commit 38cfe67 pushed by damien-pous
October 20, 2023 11:01 8m 11s v8.18
v8.18
October 20, 2023 11:01 8m 11s
CHANGELOG for 1.7.10 CI #69: Commit 38cfe67 pushed by damien-pous
October 20, 2023 11:01 8m 9s master
master
October 20, 2023 11:01 8m 9s
cleaned deprecated references and calls to intuition CI #68: Commit 3f44be5 pushed by damien-pous
October 20, 2023 10:59 8m 19s master
master
October 20, 2023 10:59 8m 19s
cleaned deprecated references and calls to intuition CI #67: Commit 3f44be5 pushed by damien-pous
October 20, 2023 10:58 8m 19s v8.18
v8.18
October 20, 2023 10:58 8m 19s
CI setup for v8.18 and master CI #66: Commit e9a7ab7 pushed by damien-pous
October 20, 2023 10:42 10m 50s master
master
October 20, 2023 10:42 10m 50s
CI setup for v8.18 and master CI #65: Commit e9a7ab7 pushed by damien-pous
October 20, 2023 10:42 9m 38s v8.18
v8.18
October 20, 2023 10:42 9m 38s