Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.