Skip to content

Actions: damien-pous/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coinduction 1.20, for Coq 8.20 CI #9: Commit 3190be0 pushed by damien-pous
September 18, 2024 09:02 2m 50s master
master
September 18, 2024 09:02 2m 50s
Relation Algebra 1.7.11, for Coq 8.20 CI #8: Commit e79849a pushed by damien-pous
September 18, 2024 08:03 5m 57s master
master
September 18, 2024 08:03 5m 57s
coq-coinduction 1.9, for coq 8.19 CI #7: Commit 46c7cab pushed by damien-pous
March 18, 2024 09:34 3m 13s master
master
March 18, 2024 09:34 3m 13s
relation algebra 1.7.10 actually compatible with coq 8.19 CI #6: Commit fe2aad4 pushed by damien-pous
March 18, 2024 09:27 6m 9s master
master
March 18, 2024 09:27 6m 9s
Merge pull request #2985 from DmxLarchey/kruskal-veldman.1.0 CI #5: Commit 93a8aa1 pushed by damien-pous
March 18, 2024 09:22 6m 32s master
master
March 18, 2024 09:22 6m 32s
fixed url CI #4: Commit 4ec71d5 pushed by damien-pous
October 20, 2023 16:32 6m 8s master
master
October 20, 2023 16:32 6m 8s
coq-relation-algebra 1.7.10, for Coq 8.18 CI #3: Commit 1503925 pushed by damien-pous
October 20, 2023 16:23 6m 46s master
master
October 20, 2023 16:23 6m 46s
Merge pull request #2786 from palmskog/coinduction-1.8 CI #2: Commit 8ee4250 pushed by damien-pous
October 20, 2023 16:23 6m 22s master
master
October 20, 2023 16:23 6m 22s
Merge pull request #2784 from LasseBlaauwbroek/fix-licenses CI #1: Commit a43229f pushed by damien-pous
October 20, 2023 11:05 11m 43s master
master
October 20, 2023 11:05 11m 43s