Skip to content

Actions: ybertot/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply suggestions from code review CI #18: Commit d86bb5e pushed by palmskog
November 15, 2024 08:18 2m 57s fourcolor-1.4.0
fourcolor-1.4.0
November 15, 2024 08:18 2m 57s
Update released/packages/coq-fourcolor/coq-fourcolor.1.4.0/opam CI #17: Commit 5195313 pushed by palmskog
November 15, 2024 08:10 2m 28s fourcolor-1.4.0
fourcolor-1.4.0
November 15, 2024 08:10 2m 28s
Update released/packages/coq-fourcolor-reals/coq-fourcolor-reals.1.4.… CI #16: Commit af0db96 pushed by palmskog
November 15, 2024 08:04 2m 33s fourcolor-1.4.0
fourcolor-1.4.0
November 15, 2024 08:04 2m 33s
fourcolor and fourcolor-reals 1.4.0 CI #15: Commit bc98b68 pushed by ybertot
November 15, 2024 07:43 6m 33s fourcolor-1.4.0
fourcolor-1.4.0
November 15, 2024 07:43 6m 33s
adds dpdgraph for coq 8.20 CI #14: Commit 7565bb3 pushed by ybertot
November 14, 2024 08:47 2m 54s dpdgraph-8.20
dpdgraph-8.20
November 14, 2024 08:47 2m 54s
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