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 #3156 from olaure01/ollibs CI #1227: Commit cc97a49 pushed by silene
September 17, 2024 08:21 3m 13s master
master
September 17, 2024 08:21 3m 13s
Merge pull request #3158 from Lysxia/coq-simple-io.1.10.0 CI #1226: Commit 6827a77 pushed by silene
September 17, 2024 06:11 26s master
master
September 17, 2024 06:11 26s
Release coq-simple-io.1.10.0 CI #1225: Pull request #3158 synchronize by Lysxia
September 16, 2024 21:16 2m 35s Lysxia:coq-simple-io.1.10.0
Lysxia:coq-simple-io.1.10.0
September 16, 2024 21:16 2m 35s
Release coq-simple-io.1.10.0 CI #1224: Pull request #3158 opened by Lysxia
September 16, 2024 21:14 45m 19s Lysxia:coq-simple-io.1.10.0
Lysxia:coq-simple-io.1.10.0
September 16, 2024 21:14 45m 19s
Merge pull request #3157 from olaure01/yalla CI #1223: Commit 31014c4 pushed by gares
September 16, 2024 19:09 2m 48s master
master
September 16, 2024 19:09 2m 48s
coq-yalla v2.0.5 & v2.0.6 CI #1222: Pull request #3157 opened by olaure01
September 16, 2024 13:23 2m 48s olaure01:yalla
olaure01:yalla
September 16, 2024 13:23 2m 48s
coq-ollibs v2.0.6 & v2.0.7 CI #1221: Pull request #3156 opened by olaure01
September 16, 2024 11:40 2m 36s olaure01:ollibs
olaure01:ollibs
September 16, 2024 11:40 2m 36s
Merge pull request #3155 from palmskog/mtac2-8.19-win-patch CI #1220: Commit b26ff98 pushed by palmskog
September 13, 2024 13:29 3m 0s master
master
September 13, 2024 13:29 3m 0s
fix coqdep issue in Windows for coq-mtac2.1.4+8.19 CI #1219: Pull request #3155 opened by palmskog
September 13, 2024 12:56 2m 57s palmskog:mtac2-8.19-win-patch
palmskog:mtac2-8.19-win-patch
September 13, 2024 12:56 2m 57s
Merge pull request #3153 from proux01/820-release CI #1218: Commit 8858214 pushed by proux01
September 6, 2024 14:41 3m 42s master
master
September 6, 2024 14:41 3m 42s
Release Coq 8.20 CI #1217: Pull request #3153 synchronize by proux01
September 6, 2024 11:06 2m 48s proux01:820-release
proux01:820-release
September 6, 2024 11:06 2m 48s
Release Coq 8.20 CI #1216: Pull request #3153 synchronize by proux01
September 6, 2024 08:15 2m 47s proux01:820-release
proux01:820-release
September 6, 2024 08:15 2m 47s
Merge pull request #2984 from liyishuai/itree-extra.dev CI #1215: Commit d034d59 pushed by palmskog
September 6, 2024 08:07 2m 45s master
master
September 6, 2024 08:07 2m 45s
Release Coq 8.20 CI #1214: Pull request #3153 synchronize by proux01
September 6, 2024 08:06 2m 37s proux01:820-release
proux01:820-release
September 6, 2024 08:06 2m 37s
Add coq-itree-extra.dev CI #1213: Pull request #2984 synchronize by liyishuai
September 6, 2024 07:43 2m 44s liyishuai:itree-extra.dev
liyishuai:itree-extra.dev
September 6, 2024 07:43 2m 44s
Release Coq 8.20 CI #1212: Pull request #3153 synchronize by proux01
September 6, 2024 07:33 2m 30s proux01:820-release
proux01:820-release
September 6, 2024 07:33 2m 30s
Add coq-itree-extra.dev CI #1211: Pull request #2984 synchronize by liyishuai
September 6, 2024 06:44 2m 58s liyishuai:itree-extra.dev
liyishuai:itree-extra.dev
September 6, 2024 06:44 2m 58s
Merge pull request #3154 from liyishuai/opam-publish-coq-ext-lib.0.12.2 CI #1210: Commit f6caf26 pushed by palmskog
September 6, 2024 06:40 3m 1s master
master
September 6, 2024 06:40 3m 1s
Add coq-itree-extra.dev CI #1209: Pull request #2984 synchronize by liyishuai
September 6, 2024 03:45 2m 26s liyishuai:itree-extra.dev
liyishuai:itree-extra.dev
September 6, 2024 03:45 2m 26s
Package coq-ext-lib.0.12.2 CI #1208: Pull request #3154 opened by liyishuai
September 5, 2024 04:00 2m 35s liyishuai:opam-publish-coq-ext-lib.0.12.2
liyishuai:opam-publish-coq-ext-lib.0.12.2
September 5, 2024 04:00 2m 35s
Release Coq 8.20 CI #1207: Pull request #3153 opened by proux01
September 4, 2024 11:59 2m 27s proux01:820-release
proux01:820-release
September 4, 2024 11:59 2m 27s
Merge pull request #3152 from liyishuai/patch-2 CI #1206: Commit 7660c01 pushed by gares
September 4, 2024 09:33 2m 50s master
master
September 4, 2024 09:33 2m 50s
ITree: requires Dune 3.14 CI #1205: Pull request #3152 opened by liyishuai
September 3, 2024 15:39 2m 38s liyishuai:patch-2
liyishuai:patch-2
September 3, 2024 15:39 2m 38s
Merge pull request #3151 from palmskog/add-serapi-8.20 CI #1204: Commit 81493dc pushed by palmskog
August 30, 2024 09:50 3m 5s master
master
August 30, 2024 09:50 3m 5s
add coq-serapi.8.20+rc1+0.20.0 CI #1203: Pull request #3151 opened by palmskog
August 30, 2024 08:38 2m 45s palmskog:add-serapi-8.20
palmskog:add-serapi-8.20
August 30, 2024 08:38 2m 45s