Skip to content

Actions: damien-pous/coinduction

Actions

Docker CI

Actions

Loading...
Loading

Showing runs from all workflows named Docker CI
6 workflow run results
6 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

metadata for software heritage Docker CI #22: Commit 823b424 pushed by damien-pous
March 26, 2025 15:49 2m 12s master
master
March 26, 2025 15:49 2m 12s
v1.20 for Coq 8.20 Docker CI #21: Commit 09caaf1 pushed by damien-pous
September 18, 2024 08:58 2m 36s master
master
September 18, 2024 08:58 2m 36s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #20: Commit 421077f pushed by damien-pous
April 23, 2024 17:29 2m 5s master
master
April 23, 2024 17:29 2m 5s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #19: Pull request #20 opened by SkySkimmer
April 17, 2024 11:23 1m 59s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 11:23 1m 59s
version 1.9, for Coq 8.19 Docker CI #18: Commit fea6bb3 pushed by damien-pous
March 18, 2024 09:29 2m 14s 8.19
8.19
March 18, 2024 09:29 2m 14s
version 1.9, for Coq 8.19 Docker CI #17: Commit fea6bb3 pushed by damien-pous
March 18, 2024 09:09 2m 13s master
master
March 18, 2024 09:09 2m 13s