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

Add vcfloat.2.1.1 release to opam-coq-archive CI #39: Pull request #2692 opened by andrew-appel
August 31, 2023 19:43 3m 39s andrew-appel:master
andrew-appel:master
August 31, 2023 19:43 3m 39s
Merge pull request #2691 from yakir-forman/coq-operads.1.1.0 CI #38: Commit 27a4525 pushed by palmskog
August 29, 2023 20:18 3m 36s master
master
August 29, 2023 20:18 3m 36s
Package coq-operads.1.1.0 CI #37: Pull request #2691 opened by yakir-forman
August 28, 2023 15:42 4m 10s yakir-forman:coq-operads.1.1.0
yakir-forman:coq-operads.1.1.0
August 28, 2023 15:42 4m 10s
Merge pull request #2690 from vscoqbot/opam-publish-vscoq-language-se… CI #36: Commit 5c3f2ba pushed by palmskog
August 28, 2023 09:38 3m 21s master
master
August 28, 2023 09:38 3m 21s
Package vscoq-language-server.1.9.3+coq8.18 CI #35: Pull request #2690 opened by vscoqbot
August 28, 2023 06:24 3m 2s vscoqbot:opam-publish-vscoq-language-server.1.9.3-coq8.18
vscoqbot:opam-publish-vscoq-language-server.1.9.3-coq8.18
August 28, 2023 06:24 3m 2s
Package coq-waterproof.2.0.1+8.17 CI #34: Pull request #2689 synchronize by jim-portegies
August 27, 2023 13:48 3m 6s impermeable:coq-waterproof.2.0.1+8.17
impermeable:coq-waterproof.2.0.1+8.17
August 27, 2023 13:48 3m 6s
Package coq-waterproof.2.0.1+8.17 CI #33: Pull request #2689 opened by jim-portegies
August 27, 2023 12:40 3m 46s impermeable:coq-waterproof.2.0.1+8.17
impermeable:coq-waterproof.2.0.1+8.17
August 27, 2023 12:40 3m 46s
Merge pull request #2688 from pi8027/fix-mczify-dev CI #32: Commit f489842 pushed by palmskog
August 25, 2023 16:54 3m 22s master
master
August 25, 2023 16:54 3m 22s
Fix the dependencies of coq-mathcomp-zify.dev CI #31: Pull request #2688 opened by pi8027
August 25, 2023 12:06 4m 0s pi8027:fix-mczify-dev
pi8027:fix-mczify-dev
August 25, 2023 12:06 4m 0s
Merge pull request #2687 from vscoqbot/opam-publish-vscoq-language-se… CI #30: Commit deebd01 pushed by palmskog
August 22, 2023 17:15 4m 5s master
master
August 22, 2023 17:15 4m 5s
Package vscoq-language-server.1.9.2+coq8.18 CI #29: Pull request #2687 opened by vscoqbot
August 22, 2023 16:20 3m 5s vscoqbot:opam-publish-vscoq-language-server.1.9.2-coq8.18
vscoqbot:opam-publish-vscoq-language-server.1.9.2-coq8.18
August 22, 2023 16:20 3m 5s
Merge pull request #2686 from palmskog/coqprime-libhyps-8.18 CI #28: Commit eb6e19a pushed by palmskog
August 22, 2023 10:57 4m 16s master
master
August 22, 2023 10:57 4m 16s
allow Coq 8.18 for coq-coqprime.1.3.0 and coq-libhyps.2.0.6 CI #27: Pull request #2686 opened by palmskog
August 22, 2023 09:29 4m 7s palmskog:coqprime-libhyps-8.18
palmskog:coqprime-libhyps-8.18
August 22, 2023 09:29 4m 7s
Merge pull request #2685 from Columbus240/master CI #26: Commit 7a9f926 pushed by palmskog
August 21, 2023 18:44 4m 37s master
master
August 21, 2023 18:44 4m 37s
Merge pull request #2684 from palmskog/graph-theory-0.9.3 CI #25: Commit 25ddca6 pushed by palmskog
August 21, 2023 18:26 3m 34s master
master
August 21, 2023 18:26 3m 34s
Merge pull request #2683 from palmskog/bump-multinomials CI #24: Commit 78f56fa pushed by palmskog
August 21, 2023 16:18 4m 12s master
master
August 21, 2023 16:18 4m 12s
Add coq-topology.10.2.0 and coq-zorns-lemma.10.2.0 CI #23: Pull request #2685 synchronize by Columbus240
August 21, 2023 15:51 3m 12s Columbus240:master
Columbus240:master
August 21, 2023 15:51 3m 12s
Add coq-topology.10.2.0 and coq-zorns-lemma.10.2.0 CI #22: Pull request #2685 opened by Columbus240
August 21, 2023 15:50 3m 3s Columbus240:master
Columbus240:master
August 21, 2023 15:50 3m 3s
add graph theory 0.9.3 CI #21: Pull request #2684 opened by palmskog
August 21, 2023 15:39 3m 50s palmskog:graph-theory-0.9.3
palmskog:graph-theory-0.9.3
August 21, 2023 15:39 3m 50s
allow Coq 8.18 for multinomials CI #20: Pull request #2683 opened by palmskog
August 21, 2023 15:21 3m 24s palmskog:bump-multinomials
palmskog:bump-multinomials
August 21, 2023 15:21 3m 24s
Merge pull request #2682 from proux01/paramcoq_818 CI #19: Commit 4202bd3 pushed by palmskog
August 21, 2023 15:09 6m 33s master
master
August 21, 2023 15:09 6m 33s
Add coq-paramcoq.1.1.3+coq8.18 CI #18: Pull request #2682 synchronize by proux01
August 21, 2023 14:54 3m 22s proux01:paramcoq_818
proux01:paramcoq_818
August 21, 2023 14:54 3m 22s
Add coq-paramcoq.1.1.3+coq8.18 CI #17: Pull request #2682 opened by proux01
August 21, 2023 14:45 3m 57s proux01:paramcoq_818
proux01:paramcoq_818
August 21, 2023 14:45 3m 57s
Merge pull request #2681 from palmskog/relax-bounds-8.18 CI #16: Commit c311cb6 pushed by palmskog
August 20, 2023 14:30 4m 35s master
master
August 20, 2023 14:30 4m 35s
update bounds for jmlcoq and almost-full CI #15: Pull request #2681 synchronize by palmskog
August 20, 2023 13:30 3m 14s palmskog:relax-bounds-8.18
palmskog:relax-bounds-8.18
August 20, 2023 13:30 3m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-08-20 or the other filters available.