Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add itauto for 8.20 (#3140) CI #1177: Commit 654f540 pushed by palmskog
August 10, 2024 09:25 5m 56s master
master
August 10, 2024 09:25 5m 56s
Add itauto for 8.20 CI #1176: Pull request #3140 synchronize by palmskog
August 10, 2024 09:06 4m 56s palmskog:add-itauto-8.20
palmskog:add-itauto-8.20
August 10, 2024 09:06 4m 56s
Add itauto for 8.20 CI #1175: Pull request #3140 synchronize by palmskog
August 10, 2024 09:05 5m 7s palmskog:add-itauto-8.20
palmskog:add-itauto-8.20
August 10, 2024 09:05 5m 7s
Add itauto for 8.20 CI #1174: Pull request #3140 synchronize by palmskog
August 9, 2024 23:43 4m 55s palmskog:add-itauto-8.20
palmskog:add-itauto-8.20
August 9, 2024 23:43 4m 55s
Add itauto for 8.20 CI #1173: Pull request #3140 opened by palmskog
August 9, 2024 22:06 5m 10s palmskog:add-itauto-8.20
palmskog:add-itauto-8.20
August 9, 2024 22:06 5m 10s
Merge pull request #3139 from palmskog/avoid-version-analysis-1.3.0 CI #1172: Commit 3fe0928 pushed by palmskog
August 9, 2024 19:50 5m 16s master
master
August 9, 2024 19:50 5m 16s
avoid-version flag for coq-mathcomp-analysis.1.3.0 due to risk of universe inconsistencies CI #1171: Pull request #3139 opened by palmskog
August 9, 2024 18:24 5m 52s palmskog:avoid-version-analysis-1.3.0
palmskog:avoid-version-analysis-1.3.0
August 9, 2024 18:24 5m 52s
Merge pull request #3138 from affeldt-aist/mathcomp-analysis-1.3.1 CI #1170: Commit 9c21a9e pushed by palmskog
August 9, 2024 18:19 5m 53s master
master
August 9, 2024 18:19 5m 53s
release MathComp-Analysis 1.3.1 CI #1169: Pull request #3138 opened by affeldt-aist
August 9, 2024 15:23 5m 34s affeldt-aist:mathcomp-analysis-1.3.1
affeldt-aist:mathcomp-analysis-1.3.1
August 9, 2024 15:23 5m 34s
Merge pull request #3137 from affeldt-aist/analysis.1.3.0 CI #1168: Commit fa88a39 pushed by palmskog
August 9, 2024 07:19 5m 17s master
master
August 9, 2024 07:19 5m 17s
release MathComp-Analysis 1.3.0 CI #1167: Pull request #3137 opened by affeldt-aist
August 6, 2024 14:38 5m 0s affeldt-aist:analysis.1.3.0
affeldt-aist:analysis.1.3.0
August 6, 2024 14:38 5m 0s
Merge pull request #3136 from pi8027/fix-real-closed-2.0.1 CI #1166: Commit 9198bb4 pushed by palmskog
August 5, 2024 22:39 5m 29s master
master
August 5, 2024 22:39 5m 29s