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

Merge pull request #2741 from pi8027/algebra-tactics-1.2.0 CI #165: Commit 74da1bc pushed by palmskog
September 28, 2023 15:04 6m 45s master
master
September 28, 2023 15:04 6m 45s
Merge pull request #2740 from liyishuai/opam-publish-coq-reduction-ef… CI #164: Commit 9cbec53 pushed by palmskog
September 28, 2023 15:03 7m 14s master
master
September 28, 2023 15:03 7m 14s
Release coq-mathcomp-algebra-tactics.1.2.0 CI #163: Pull request #2741 opened by pi8027
September 28, 2023 13:45 5m 37s pi8027:algebra-tactics-1.2.0
pi8027:algebra-tactics-1.2.0
September 28, 2023 13:45 5m 37s
coq-color works with coq 8.18 as well CI #162: Commit 1f64d61 pushed by fblanqui
September 28, 2023 10:44 6m 34s master
master
September 28, 2023 10:44 6m 34s
Package coq-reduction-effects.0.1.5 CI #161: Pull request #2740 opened by liyishuai
September 28, 2023 08:28 5m 37s liyishuai:opam-publish-coq-reduction-effects.0.1.5
liyishuai:opam-publish-coq-reduction-effects.0.1.5
September 28, 2023 08:28 5m 37s
Merge pull request #2739 from womeier/master CI #160: Commit d7ec08d pushed by palmskog
September 27, 2023 17:06 5m 56s master
master
September 27, 2023 17:06 5m 56s
Release coq-parseque 0.1.2 CI #159: Pull request #2739 synchronize by womeier
September 27, 2023 15:27 6m 14s womeier:master
womeier:master
September 27, 2023 15:27 6m 14s
Release coq-parseque 0.1.2 CI #158: Pull request #2739 opened by womeier
September 27, 2023 15:03 5m 29s womeier:master
womeier:master
September 27, 2023 15:03 5m 29s
Merge pull request #2738 from pi8027/fix-algebra-tactics-dev CI #157: Commit 6c862e2 pushed by palmskog
September 27, 2023 14:51 6m 30s master
master
September 27, 2023 14:51 6m 30s
Fix the dependencies of coq-mathcomp-algebra-tactics.dev CI #156: Pull request #2738 opened by pi8027
September 27, 2023 13:41 6m 9s pi8027:fix-algebra-tactics-dev
pi8027:fix-algebra-tactics-dev
September 27, 2023 13:41 6m 9s
Merge pull request #2737 from arthuraa/extructures-0.4.0 CI #155: Commit 3b1a8f3 pushed by palmskog
September 25, 2023 16:49 6m 40s master
master
September 25, 2023 16:49 6m 40s
Release new version of extructures. CI #154: Pull request #2737 opened by arthuraa
September 25, 2023 16:19 5m 52s arthuraa:extructures-0.4.0
arthuraa:extructures-0.4.0
September 25, 2023 16:19 5m 52s
Merge pull request #2734 from coq/rewriter-arm CI #153: Commit 9416748 pushed by palmskog
September 23, 2023 16:58 6m 23s master
master
September 23, 2023 16:58 6m 23s
Merge pull request #2736 from arthuraa/deriving-0.2.0 CI #152: Commit d942c29 pushed by palmskog
September 23, 2023 10:13 5m 53s master
master
September 23, 2023 10:13 5m 53s
Restrict rewriter OCaml version on ARM CI #151: Pull request #2734 synchronize by JasonGross
September 23, 2023 07:42 5m 11s rewriter-arm
rewriter-arm
September 23, 2023 07:42 5m 11s
[coq-rewriter] Use disjunctions CI #150: Commit 781dace pushed by JasonGross
September 23, 2023 07:42 6m 8s rewriter-arm
rewriter-arm
September 23, 2023 07:42 6m 8s
Add Deriving 0.2.0. CI #149: Pull request #2736 synchronize by palmskog
September 22, 2023 21:43 6m 12s arthuraa:deriving-0.2.0
arthuraa:deriving-0.2.0
September 22, 2023 21:43 6m 12s
Merge pull request #2735 from JasonGross/coq-rewriter-0.0.9 CI #148: Commit 87190fc pushed by palmskog
September 22, 2023 21:17 8m 59s master
master
September 22, 2023 21:17 8m 59s
Add Deriving 0.2.0. CI #147: Pull request #2736 opened by arthuraa
September 22, 2023 20:59 5m 39s arthuraa:deriving-0.2.0
arthuraa:deriving-0.2.0
September 22, 2023 20:59 5m 39s
Release coq-rewriter.0.0.9 CI #146: Pull request #2735 opened by JasonGross
September 22, 2023 16:44 5m 34s JasonGross:coq-rewriter-0.0.9
JasonGross:coq-rewriter-0.0.9
September 22, 2023 16:44 5m 34s
Restrict rewriter OCaml version on ARM CI #145: Pull request #2734 synchronize by JasonGross
September 22, 2023 16:31 5m 48s rewriter-arm
rewriter-arm
September 22, 2023 16:31 5m 48s
Add upper Coq version bounds for coq-rewriter released CI #144: Commit 8df4ac7 pushed by JasonGross
September 22, 2023 16:31 5m 23s rewriter-arm
rewriter-arm
September 22, 2023 16:31 5m 23s
Drop aarch64 to comply with opam-lint CI #143: Commit f7c8295 pushed by JasonGross
September 22, 2023 15:22 5m 26s rewriter-arm
rewriter-arm
September 22, 2023 15:22 5m 26s
Restrict rewriter OCaml version on ARM CI #142: Pull request #2734 synchronize by JasonGross
September 22, 2023 15:22 6m 16s rewriter-arm
rewriter-arm
September 22, 2023 15:22 6m 16s
Restrict rewriter OCaml version on ARM CI #141: Pull request #2734 synchronize by JasonGross
September 22, 2023 15:04 5m 58s rewriter-arm
rewriter-arm
September 22, 2023 15:04 5m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-09-22 or the other filters available.