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 #3164 from palmskog/add-ott-dev CI #1240: Commit 9396bf5 pushed by palmskog
September 20, 2024 12:33 2m 59s master
master
September 20, 2024 12:33 2m 59s
add ott.dev to extra-dev repo CI #1239: Pull request #3164 opened by palmskog
September 20, 2024 11:59 2m 48s palmskog:add-ott-dev
palmskog:add-ott-dev
September 20, 2024 11:59 2m 48s
Merge pull request #3163 from smtcoq/smtcoq-8.20 CI #1238: Commit a6ad88d pushed by palmskog
September 19, 2024 11:37 2m 41s master
master
September 19, 2024 11:37 2m 41s
Merge pull request #3162 from aleksnanevski/coq-fcsl-pcm.2.0.0 CI #1237: Commit d94cf33 pushed by palmskog
September 18, 2024 16:31 3m 9s master
master
September 18, 2024 16:31 3m 9s
Add release and development versions of SMTCoq for Coq-8.20 CI #1236: Pull request #3163 opened by ckeller
September 18, 2024 14:34 2m 52s smtcoq:smtcoq-8.20
smtcoq:smtcoq-8.20
September 18, 2024 14:34 2m 52s
Release coq-fcsl-pcm.2.0.0 CI #1235: Pull request #3162 opened by aleksnanevski
September 18, 2024 14:19 2m 48s aleksnanevski:coq-fcsl-pcm.2.0.0
aleksnanevski:coq-fcsl-pcm.2.0.0
September 18, 2024 14:19 2m 48s
Merge pull request #3161 from palmskog/huffman-8.20 CI #1234: Commit f14512e pushed by silene
September 18, 2024 12:31 2m 53s master
master
September 18, 2024 12:31 2m 53s
coq-huffman.8.16.0 works on 8.20 CI #1233: Pull request #3161 opened by palmskog
September 18, 2024 10:08 2m 41s palmskog:huffman-8.20
palmskog:huffman-8.20
September 18, 2024 10:08 2m 41s
Merge pull request #3160 from damien-pous/master CI #1232: Commit 6b09384 pushed by palmskog
September 18, 2024 09:46 2m 47s master
master
September 18, 2024 09:46 2m 47s
Merge pull request #3159 from liyishuai/opam-publish-coq-quickchick.2… CI #1231: Commit 5d776f7 pushed by palmskog
September 18, 2024 09:45 3m 6s master
master
September 18, 2024 09:45 3m 6s
Relation Algebra 1.7.11 & Coinduction 1.20, for Coq 8.20 CI #1230: Pull request #3160 synchronize by damien-pous
September 18, 2024 09:02 2m 44s damien-pous:master
damien-pous:master
September 18, 2024 09:02 2m 44s
Relation Algebra 1.7.11 & Coinduction 1.20, for Coq 8.20 CI #1229: Pull request #3160 opened by damien-pous
September 18, 2024 08:07 2m 26s damien-pous:master
damien-pous:master
September 18, 2024 08:07 2m 26s
Package coq-quickchick.2.0.4 CI #1228: Pull request #3159 opened by liyishuai
September 18, 2024 06:06 2m 49s liyishuai:opam-publish-coq-quickchick.2.0.4
liyishuai:opam-publish-coq-quickchick.2.0.4
September 18, 2024 06:06 2m 49s
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