Skip to content

Actions: ybertot/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adds dpdgraph for coq 8.20 CI #13: Commit f8f0792 pushed by ybertot
November 13, 2024 15:34 2m 40s dpdgraph-8.20
dpdgraph-8.20
November 13, 2024 15:34 2m 40s
adds dpdgraph for coq 8.20 CI #12: Commit abe21ab pushed by ybertot
November 13, 2024 15:12 5m 36s dpdgraph-8.20
dpdgraph-8.20
November 13, 2024 15:12 5m 36s
adds dpdgraph for coq 8.20 CI #11: Commit 5ec3747 pushed by ybertot
November 13, 2024 15:08 6m 7s dpdgraph-8.20
dpdgraph-8.20
November 13, 2024 15:08 6m 7s
1.2.6 only works in coq-8.12, 1.2.6.1 works from coq 8.12 to coq 8.16 CI #10: Commit fc5ed81 pushed by ybertot
June 20, 2024 10:18 2m 27s pi-agm-1.2.8
pi-agm-1.2.8
June 20, 2024 10:18 2m 27s
avoid using automatically generated zip files from github CI #9: Commit 0929ec6 pushed by ybertot
June 19, 2024 20:40 2m 38s pi-agm-1.2.8
pi-agm-1.2.8
June 19, 2024 20:40 2m 38s
wrong comparator in the bounds description for coq versions CI #8: Commit 60c7913 pushed by ybertot
June 19, 2024 20:24 2m 52s pi-agm-1.2.8
pi-agm-1.2.8
June 19, 2024 20:24 2m 52s
wrong comparison for the bound CI #7: Commit e6bab14 pushed by ybertot
June 19, 2024 20:09 2m 30s pi-agm-1.2.8
pi-agm-1.2.8
June 19, 2024 20:09 2m 30s
wrong path for the archive CI #6: Commit 8c6d7b7 pushed by ybertot
June 19, 2024 19:09 2m 28s pi-agm-1.2.8
pi-agm-1.2.8
June 19, 2024 19:09 2m 28s
coq-pi-agm.1.2.6 is not compatible with coq-8.17 CI #5: Commit 329bd2b pushed by ybertot
June 19, 2024 11:48 5m 36s pi-agm-1.2.8
pi-agm-1.2.8
June 19, 2024 11:48 5m 36s
coq-dpdgraph for coq 8.19 CI #4: Commit 1f48e6b pushed by ybertot
March 21, 2024 14:01 5m 55s dpdgraphcoq-v8.19
dpdgraphcoq-v8.19
March 21, 2024 14:01 5m 55s
Update released/packages/coq-dpdgraph/coq-dpdgraph.1.0+8.18/opam CI #3: Commit 3fc1b48 pushed by palmskog
October 24, 2023 16:50 5m 31s dpdgraph-coq-8.18
dpdgraph-coq-8.18
October 24, 2023 16:50 5m 31s
coq-dpdgraph for coq 8.18 CI #2: Commit 23a8127 pushed by ybertot
October 24, 2023 09:33 5m 27s dpdgraph-coq-8.18
dpdgraph-coq-8.18
October 24, 2023 09:33 5m 27s
Merge pull request #2791 from Lysxia/master CI #1: Commit 861c0e3 pushed by ybertot
October 24, 2023 06:59 12m 56s dpdgraph-coq-8.18
dpdgraph-coq-8.18
October 24, 2023 06:59 12m 56s