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

release coq-htt and coq-htt-core 2.0.0 CI #1252: Pull request #3169 opened by aleksnanevski
September 30, 2024 14:21 2m 51s aleksnanevski:coq-htt.2.0.0
aleksnanevski:coq-htt.2.0.0
September 30, 2024 14:21 2m 51s
Merge pull request #3168 from yforster/coq-library-undecidability+8.20 CI #1251: Commit 10befd5 pushed by palmskog
September 30, 2024 12:04 3m 12s master
master
September 30, 2024 12:04 3m 12s
Add coq-library-undecidability.1.1.2+8.20 CI #1250: Pull request #3168 synchronize by yforster
September 30, 2024 11:10 2m 49s yforster:coq-library-undecidability+8.20
yforster:coq-library-undecidability+8.20
September 30, 2024 11:10 2m 49s
Add coq-library-undecidability.1.1.2+8.20 CI #1249: Pull request #3168 opened by yforster
September 30, 2024 09:25 2m 48s yforster:coq-library-undecidability+8.20
yforster:coq-library-undecidability+8.20
September 30, 2024 09:25 2m 48s
Merge pull request #3167 from Alizter/ps/rr/coq_hott__8_19____8_20 CI #1248: Commit 9e0509b pushed by silene
September 28, 2024 06:27 2m 58s master
master
September 28, 2024 06:27 2m 58s
coq-hott: 8.19 -> 8.20 CI #1247: Pull request #3167 synchronize by Alizter
September 27, 2024 23:03 2m 42s Alizter:ps/rr/coq_hott__8_19____8_20
Alizter:ps/rr/coq_hott__8_19____8_20
September 27, 2024 23:03 2m 42s
coq-hott: 8.19 -> 8.20 CI #1246: Pull request #3167 opened by Alizter
September 27, 2024 23:02 2m 38s Alizter:ps/rr/coq_hott__8_19____8_20
Alizter:ps/rr/coq_hott__8_19____8_20
September 27, 2024 23:02 2m 38s
Merge pull request #3166 from aleksnanevski/coq-fcsl-pcm.2.0.0 CI #1245: Commit ef9522c pushed by palmskog
September 27, 2024 17:42 3m 9s master
master
September 27, 2024 17:42 3m 9s
changing dependencies for the dev version of coq-fcsl-pcm CI #1244: Pull request #3166 synchronize by aleksnanevski
September 27, 2024 16:46 2m 44s aleksnanevski:coq-fcsl-pcm.2.0.0
aleksnanevski:coq-fcsl-pcm.2.0.0
September 27, 2024 16:46 2m 44s
changing dependencies for the dev version of coq-fcsl-pcm CI #1243: Pull request #3166 opened by aleksnanevski
September 27, 2024 16:38 2m 59s aleksnanevski:coq-fcsl-pcm.2.0.0
aleksnanevski:coq-fcsl-pcm.2.0.0
September 27, 2024 16:38 2m 59s
Merge pull request #3165 from affeldt-aist/analysis.1.4.0 CI #1242: Commit 6e457c7 pushed by gares
September 24, 2024 09:08 3m 25s master
master
September 24, 2024 09:08 3m 25s
release MathComp-Analysis 1.4.0 CI #1241: Pull request #3165 opened by affeldt-aist
September 24, 2024 07:29 2m 29s affeldt-aist:analysis.1.4.0
affeldt-aist:analysis.1.4.0
September 24, 2024 07:29 2m 29s
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