Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add multinomials 2.1.0 CI #310: Pull request #2801 opened by proux01
October 26, 2023 08:16 5m 51s proux01:multinomials_210
proux01:multinomials_210
October 26, 2023 08:16 5m 51s
Merge pull request #2800 from proux01/algebra_tactics_220 CI #309: Commit cad4082 pushed by proux01
October 25, 2023 21:36 6m 13s master
master
October 25, 2023 21:36 6m 13s
algebra-tactics compiles with mathcomp 2.1.0 CI #308: Pull request #2800 opened by proux01
October 25, 2023 19:27 6m 12s proux01:algebra_tactics_220
proux01:algebra_tactics_220
October 25, 2023 19:27 6m 12s
Merge pull request #2799 from proux01/finmap_220 CI #307: Commit e7f477f pushed by proux01
October 25, 2023 18:39 5m 37s master
master
October 25, 2023 18:39 5m 37s
Merge pull request #2798 from proux01/mczify_220 CI #306: Commit 790182b pushed by proux01
October 25, 2023 18:39 5m 34s master
master
October 25, 2023 18:39 5m 34s
finmap compiles with mathcomp 2.1.0 CI #305: Pull request #2799 opened by proux01
October 25, 2023 18:18 6m 9s proux01:finmap_220
proux01:finmap_220
October 25, 2023 18:18 6m 9s
mczify compiles with mathcomp 2.1.0 CI #304: Pull request #2798 opened by proux01
October 25, 2023 17:58 6m 16s proux01:mczify_220
proux01:mczify_220
October 25, 2023 17:58 6m 16s
relax some mathcomp constraints to accomodate 2.1 CI #303: Pull request #2797 opened by thery
October 25, 2023 13:22 6m 19s thery:mathcomp2.1
thery:mathcomp2.1
October 25, 2023 13:22 6m 19s
Merge pull request #2796 from proux01/mathcomp_2_1_0_dev CI #302: Commit 40bcb7a pushed by proux01
October 25, 2023 11:19 6m 27s master
master
October 25, 2023 11:19 6m 27s
MathComp 2.1.0 compiles with Coq master CI #301: Pull request #2796 opened by proux01
October 25, 2023 10:23 5m 34s proux01:mathcomp_2_1_0_dev
proux01:mathcomp_2_1_0_dev
October 25, 2023 10:23 5m 34s
Merge pull request #2795 from raoxiaojia/coq-wasm.0.1 CI #300: Commit c26c1db pushed by palmskog
October 24, 2023 19:34 5m 43s master
master
October 24, 2023 19:34 5m 43s
Package coq-wasm.0.1 CI #299: Pull request #2795 synchronize by palmskog
October 24, 2023 18:25 5m 22s raoxiaojia:coq-wasm.0.1
raoxiaojia:coq-wasm.0.1
October 24, 2023 18:25 5m 22s
Merge pull request #2793 from ybertot/dpdgraph-coq-8.18 CI #298: Commit 9dce6bf pushed by palmskog
October 24, 2023 18:19 6m 58s master
master
October 24, 2023 18:19 6m 58s
coq-dpdgraph for coq 8.18 CI #297: Pull request #2793 synchronize by palmskog
October 24, 2023 16:50 6m 12s ybertot:dpdgraph-coq-8.18
ybertot:dpdgraph-coq-8.18
October 24, 2023 16:50 6m 12s
Package coq-wasm.0.1 CI #296: Pull request #2795 synchronize by raoxiaojia
October 24, 2023 16:41 5m 18s raoxiaojia:coq-wasm.0.1
raoxiaojia:coq-wasm.0.1
October 24, 2023 16:41 5m 18s
Package coq-wasm.0.1 CI #295: Pull request #2795 synchronize by raoxiaojia
October 24, 2023 16:24 3m 22s raoxiaojia:coq-wasm.0.1
raoxiaojia:coq-wasm.0.1
October 24, 2023 16:24 3m 22s
Package coq-wasm.0.1 CI #294: Pull request #2795 opened by raoxiaojia
October 24, 2023 16:18 3m 34s raoxiaojia:coq-wasm.0.1
raoxiaojia:coq-wasm.0.1
October 24, 2023 16:18 3m 34s
Merge pull request #2794 from proux01/mathcomp_2_1_0 CI #293: Commit 4921cdb pushed by proux01
October 24, 2023 12:38 43m 3s master
master
October 24, 2023 12:38 43m 3s
Add MathComp 2.1.0 CI #292: Pull request #2794 opened by proux01
October 24, 2023 11:42 49m 37s proux01:mathcomp_2_1_0
proux01:mathcomp_2_1_0
October 24, 2023 11:42 49m 37s
coq-dpdgraph for coq 8.18 CI #291: Pull request #2793 opened by ybertot
October 24, 2023 09:33 51m 15s ybertot:dpdgraph-coq-8.18
ybertot:dpdgraph-coq-8.18
October 24, 2023 09:33 51m 15s
Merge pull request #2791 from Lysxia/master CI #290: Commit 861c0e3 pushed by palmskog
October 23, 2023 11:15 5m 57s master
master
October 23, 2023 11:15 5m 57s
Release coq-itree 5.1.2 CI #289: Pull request #2791 synchronize by palmskog
October 23, 2023 09:34 6m 20s Lysxia:master
Lysxia:master
October 23, 2023 09:34 6m 20s
Merge pull request #2792 from liyishuai/opam-publish-coq-ext-lib.0.12.0 CI #288: Commit c350e80 pushed by palmskog
October 23, 2023 06:41 5m 51s master
master
October 23, 2023 06:41 5m 51s
Package coq-ext-lib.0.12.0 CI #287: Pull request #2792 opened by liyishuai
October 23, 2023 04:49 5m 27s liyishuai:opam-publish-coq-ext-lib.0.12.0
liyishuai:opam-publish-coq-ext-lib.0.12.0
October 23, 2023 04:49 5m 27s
Release coq-itree 5.1.2 CI #286: Pull request #2791 opened by Lysxia
October 22, 2023 13:52 6m 32s Lysxia:master
Lysxia:master
October 22, 2023 13:52 6m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-10-22 or the other filters available.