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

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
Fix the dependencies of coq-mathcomp-real-closed.2.0.1 CI #1165: Pull request #3136 opened by pi8027
August 5, 2024 21:58 5m 34s pi8027:fix-real-closed-2.0.1
pi8027:fix-real-closed-2.0.1
August 5, 2024 21:58 5m 34s
Merge pull request #3135 from palmskog/deriving-8.20 CI #1164: Commit dc745c3 pushed by palmskog
August 2, 2024 09:51 5m 17s master
master
August 2, 2024 09:51 5m 17s
Merge pull request #3134 from palmskog/quickchick-2.0.3-8.20 CI #1163: Commit ddb2064 pushed by palmskog
August 2, 2024 09:35 5m 14s master
master
August 2, 2024 09:35 5m 14s
Merge pull request #3133 from palmskog/relation-algebra-1.7.10-8.20 CI #1162: Commit 92e8f23 pushed by palmskog
August 2, 2024 08:50 5m 27s master
master
August 2, 2024 08:50 5m 27s
coq-deriving.0.2.0 works on Coq 8.20 CI #1161: Pull request #3135 synchronize by palmskog
August 2, 2024 08:48 5m 13s palmskog:deriving-8.20
palmskog:deriving-8.20
August 2, 2024 08:48 5m 13s
coq-deriving.0.2.0 works on Coq 8.20 CI #1160: Pull request #3135 opened by palmskog
August 2, 2024 08:37 5m 13s palmskog:deriving-8.20
palmskog:deriving-8.20
August 2, 2024 08:37 5m 13s
Merge pull request #3132 from palmskog/ott-0.33-8.20 CI #1159: Commit 929874f pushed by palmskog
August 2, 2024 08:29 5m 21s master
master
August 2, 2024 08:29 5m 21s
coq-quickchick.2.0.3 doesn't work on Coq 8.20 CI #1158: Pull request #3134 opened by palmskog
August 2, 2024 08:26 5m 14s palmskog:quickchick-2.0.3-8.20
palmskog:quickchick-2.0.3-8.20
August 2, 2024 08:26 5m 14s
coq-relation-algebra.1.7.10 does not work on Coq 8.20 CI #1157: Pull request #3133 opened by palmskog
August 2, 2024 08:18 6m 1s palmskog:relation-algebra-1.7.10-8.20
palmskog:relation-algebra-1.7.10-8.20
August 2, 2024 08:18 6m 1s
coq-ott.0.33 works on Coq 8.20 CI #1156: Pull request #3132 opened by palmskog
August 2, 2024 08:10 4m 56s palmskog:ott-0.33-8.20
palmskog:ott-0.33-8.20
August 2, 2024 08:10 4m 56s
Merge pull request #3131 from palmskog/analysis-0.7.0-8.20 CI #1155: Commit c9adb93 pushed by palmskog
July 31, 2024 11:37 5m 25s master
master
July 31, 2024 11:37 5m 25s
patch coq-mathcomp-analysis.0.7.0 for Coq 8.20 CI #1154: Pull request #3131 opened by palmskog
July 31, 2024 09:55 5m 2s palmskog:analysis-0.7.0-8.20
palmskog:analysis-0.7.0-8.20
July 31, 2024 09:55 5m 2s
Merge pull request #3128 from coqelpibot/opam-publish-coq-elpi.2.2.3 CI #1153: Commit 277bdb9 pushed by gares
July 31, 2024 07:13 5m 24s master
master
July 31, 2024 07:13 5m 24s