Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,326 workflow runs
1,326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3149 from 1DGW/master CI #1202: Commit bfe9681 pushed by palmskog
August 28, 2024 13:04 2m 59s master
master
August 28, 2024 13:04 2m 59s
Kruskal Trees, Finite and Almostfull: split clean Makefile target (#3… CI #1201: Commit 9721f9e pushed by silene
August 28, 2024 13:01 2m 56s master
master
August 28, 2024 13:01 2m 56s
a formalization of axiomatic reals based on Morse-Kelley set theory CI #1200: Pull request #3149 synchronize by 1DGW
August 28, 2024 12:45 2m 28s 1DGW:master
1DGW:master
August 28, 2024 12:45 2m 28s
a formalization of axiomatic reals based on Morse-Kelley set theory CI #1199: Pull request #3149 reopened by 1DGW
August 28, 2024 12:45 2m 46s 1DGW:master
1DGW:master
August 28, 2024 12:45 2m 46s
Kruskal Trees, Finite and Almostfull: split clean Makefile target CI #1198: Pull request #3150 synchronize by DmxLarchey
August 28, 2024 11:08 2m 29s DmxLarchey:update_kruskal_trees_finite_almostfull
DmxLarchey:update_kruskal_trees_finite_almostfull
August 28, 2024 11:08 2m 29s
Kruskal Trees, Finite and Almostfull: split clean Makefile target CI #1197: Pull request #3150 synchronize by DmxLarchey
August 28, 2024 09:45 2m 33s DmxLarchey:update_kruskal_trees_finite_almostfull
DmxLarchey:update_kruskal_trees_finite_almostfull
August 28, 2024 09:45 2m 33s
Kruskal Trees, Finite and Almostfull: split clean Makefile target CI #1196: Pull request #3150 opened by DmxLarchey
August 27, 2024 14:57 2m 50s DmxLarchey:update_kruskal_trees_finite_almostfull
DmxLarchey:update_kruskal_trees_finite_almostfull
August 27, 2024 14:57 2m 50s
a formalization of axiomatic reals based on Morse-Kelley set theory CI #1195: Pull request #3149 opened by 1DGW
August 26, 2024 16:14 2m 43s 1DGW:master
1DGW:master
August 26, 2024 16:14 2m 43s
Merge pull request #3148 from mattam82/metacoq-1.3.2-8.20 CI #1194: Commit 28b5281 pushed by mattam82
August 26, 2024 15:08 6m 36s master
master
August 26, 2024 15:08 6m 36s
MetaCoq 1.3.2 for Coq 8.20 CI #1193: Pull request #3148 synchronize by mattam82
August 26, 2024 08:28 2m 41s mattam82:metacoq-1.3.2-8.20
mattam82:metacoq-1.3.2-8.20
August 26, 2024 08:28 2m 41s
MetaCoq 1.3.2 for Coq 8.20 CI #1192: Pull request #3148 opened by mattam82
August 26, 2024 08:13 5m 54s mattam82:metacoq-1.3.2-8.20
mattam82:metacoq-1.3.2-8.20
August 26, 2024 08:13 5m 54s
a formalization of axiomatic reals CI #1191: Pull request #3147 opened by 1DGW
August 22, 2024 04:29 5m 36s 1DGW:master
1DGW:master
August 22, 2024 04:29 5m 36s
formalization of axiomatic reals based on Morse-Kelley set theory CI #1190: Pull request #3146 opened by 1DGW
August 21, 2024 18:08 5m 41s 1DGW:master
1DGW:master
August 21, 2024 18:08 5m 41s
axiomatic reals based on the Morse-Kelley set theory CI #1189: Pull request #3145 synchronize by 1DGW
August 21, 2024 17:18 2m 37s 1DGW:master
1DGW:master
August 21, 2024 17:18 2m 37s
axiomatic reals based on the Morse-Kelley set theory CI #1188: Pull request #3145 opened by 1DGW
August 21, 2024 16:41 6m 24s 1DGW:master
1DGW:master
August 21, 2024 16:41 6m 24s
a Coq formalization of the axiomatic definition of real numbers CI #1187: Pull request #3144 reopened by 1DGW
August 21, 2024 14:59 3m 5s 1DGW:master
1DGW:master
August 21, 2024 14:59 3m 5s
a Coq formalization of the axiomatic definition of real numbers CI #1186: Pull request #3144 synchronize by 1DGW
August 21, 2024 14:59 2m 51s 1DGW:master
1DGW:master
August 21, 2024 14:59 2m 51s
a Coq formalization of the axiomatic definition of real numbers CI #1185: Pull request #3144 opened by 1DGW
August 21, 2024 14:31 5m 50s 1DGW:master
1DGW:master
August 21, 2024 14:31 5m 50s
Merge pull request #3143 from palmskog/comp-dec-modal-metadata CI #1184: Commit a239379 pushed by palmskog
August 11, 2024 17:29 5m 10s master
master
August 11, 2024 17:29 5m 10s
fix metadata for coq-comp-dec-modal.1.2 CI #1183: Pull request #3143 synchronize by palmskog
August 11, 2024 16:57 5m 11s palmskog:comp-dec-modal-metadata
palmskog:comp-dec-modal-metadata
August 11, 2024 16:57 5m 11s
fix metadata for coq-comp-dec-modal.1.2 CI #1182: Pull request #3143 opened by palmskog
August 11, 2024 15:20 4m 57s palmskog:comp-dec-modal-metadata
palmskog:comp-dec-modal-metadata
August 11, 2024 15:20 4m 57s
Merge pull request #3142 from palmskog/gaia-2.2 CI #1181: Commit c7a9af9 pushed by palmskog
August 11, 2024 13:35 5m 14s master
master
August 11, 2024 13:35 5m 14s
add gaia 2.2 packages CI #1180: Pull request #3142 opened by palmskog
August 11, 2024 11:58 4m 58s palmskog:gaia-2.2
palmskog:gaia-2.2
August 11, 2024 11:58 4m 58s
Merge pull request #3141 from palmskog/mmaps-1.1-8.20 CI #1179: Commit 1b47e94 pushed by palmskog
August 11, 2024 10:53 5m 13s master
master
August 11, 2024 10:53 5m 13s
backwards-compatible patch to make coq-mmaps.1.1 work with Coq 8.20 CI #1178: Pull request #3141 opened by palmskog
August 11, 2024 10:06 4m 57s palmskog:mmaps-1.1-8.20
palmskog:mmaps-1.1-8.20
August 11, 2024 10:06 4m 57s