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

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
Merge pull request #2733 from silene/gappa-1.5.4 CI #135: Commit 13c865f pushed by silene
September 20, 2023 16:47 5m 48s master
master
September 20, 2023 16:47 5m 48s
Gappa 1.5.4 CI #134: Pull request #2733 opened by silene
September 20, 2023 16:27 6m 33s silene:gappa-1.5.4
silene:gappa-1.5.4
September 20, 2023 16:27 6m 33s
Merge pull request #2732 from coqelpibot/opam-publish-coq-hierarchy-b… CI #133: Commit 0e95709 pushed by palmskog
September 20, 2023 15:04 11m 0s master
master
September 20, 2023 15:04 11m 0s
2 packages from math-comp/hierarchy-builder at 1.6.0 CI #132: Pull request #2732 opened by coqelpibot
September 20, 2023 14:29 6m 35s coqelpibot:opam-publish-coq-hierarchy-builder-coq-hierarchy-builder-shim.1.6.0
coqelpibot:opam-publish-coq-hierarchy-builder-coq-hierarchy-builder-shim.1.6.0
September 20, 2023 14:29 6m 35s
Merge pull request #2728 from alxest/coq-freesim CI #131: Commit 940a5b1 pushed by palmskog
September 19, 2023 08:37 6m 54s master
master
September 19, 2023 08:37 6m 54s
Add coq-freesim 1.0.0 CI #130: Pull request #2728 synchronize by palmskog
September 19, 2023 07:40 3m 26s alxest:coq-freesim
alxest:coq-freesim
September 19, 2023 07:40 3m 26s
Merge pull request #2731 from silene/fix-keywords CI #129: Commit 53bed2e pushed by silene
September 18, 2023 14:32 5m 53s master
master
September 18, 2023 14:32 5m 53s
Prevent duplication of some package categories and keywords. CI #128: Pull request #2731 synchronize by silene
September 18, 2023 14:23 6m 37s silene:fix-keywords
silene:fix-keywords
September 18, 2023 14:23 6m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.