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

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
Update opam CI #140: Commit a2744af pushed by JasonGross
September 22, 2023 15:04 6m 13s rewriter-arm
rewriter-arm
September 22, 2023 15:04 6m 13s
Restrict rewriter OCaml version on ARM CI #139: Pull request #2734 synchronize by JasonGross
September 22, 2023 15:04 6m 19s rewriter-arm
rewriter-arm
September 22, 2023 15:04 6m 19s
Update opam CI #138: Commit f2ae16c pushed by JasonGross
September 22, 2023 15:04 5m 18s rewriter-arm
rewriter-arm
September 22, 2023 15:04 5m 18s
Restrict rewriter OCaml version on ARM CI #137: Pull request #2734 opened by JasonGross
September 22, 2023 14:59 6m 11s rewriter-arm
rewriter-arm
September 22, 2023 14:59 6m 11s
Restrict rewriter OCaml version on ARM CI #136: Commit 53d1113 pushed by JasonGross
September 22, 2023 14:59 5m 20s rewriter-arm
rewriter-arm
September 22, 2023 14:59 5m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-09-22 or the other filters available.