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 #2697 from palmskog/coqeal-1.1.3-8.18 CI #51: Commit 4983742 pushed by proux01
September 2, 2023 08:59 4m 10s master
master
September 2, 2023 08:59 4m 10s
coqeal 1.1.3 supports Coq 8.18 CI #50: Pull request #2697 opened by palmskog
September 2, 2023 07:21 3m 54s palmskog:coqeal-1.1.3-8.18
palmskog:coqeal-1.1.3-8.18
September 2, 2023 07:21 3m 54s
Merge pull request #2696 from palmskog/real-closed-1.1.4-8.18 CI #49: Commit 071752e pushed by palmskog
September 1, 2023 18:12 4m 1s master
master
September 1, 2023 18:12 4m 1s
coq-mathcomp-real-closed.1.1.4 supports 8.18 CI #48: Pull request #2696 opened by palmskog
September 1, 2023 17:32 4m 9s palmskog:real-closed-1.1.4-8.18
palmskog:real-closed-1.1.4-8.18
September 1, 2023 17:32 4m 9s
Merge pull request #2695 from palmskog/real-closed.2.0.0 CI #47: Commit bb142de pushed by palmskog
September 1, 2023 15:19 3m 47s master
master
September 1, 2023 15:19 3m 47s
add coq-mathcomp-real-closed.2.0.0 CI #46: Pull request #2695 opened by palmskog
September 1, 2023 14:27 4m 6s palmskog:real-closed.2.0.0
palmskog:real-closed.2.0.0
September 1, 2023 14:27 4m 6s
Merge pull request #2694 from silene/flocq-4.1.2 CI #45: Commit 900df48 pushed by silene
September 1, 2023 09:02 4m 0s master
master
September 1, 2023 09:02 4m 0s
Flocq 4.1.2 CI #44: Pull request #2694 opened by silene
September 1, 2023 05:53 3m 25s silene:flocq-4.1.2
silene:flocq-4.1.2
September 1, 2023 05:53 3m 25s
Merge pull request #2693 from palmskog/flocq-4.1.1-8.18 CI #43: Commit cacfdaf pushed by silene
September 1, 2023 05:52 4m 1s master
master
September 1, 2023 05:52 4m 1s
Merge pull request #2692 from andrew-appel/master CI #42: Commit 7064aef pushed by palmskog
August 31, 2023 20:22 3m 24s master
master
August 31, 2023 20:22 3m 24s
coq-flocq.4.1.1 not compatible with 8.18 CI #41: Pull request #2693 opened by palmskog
August 31, 2023 19:52 4m 5s palmskog:flocq-4.1.1-8.18
palmskog:flocq-4.1.1-8.18
August 31, 2023 19:52 4m 5s
Add vcfloat.2.1.1 release to opam-coq-archive CI #40: Pull request #2692 synchronize by andrew-appel
August 31, 2023 19:51 3m 5s andrew-appel:master
andrew-appel:master
August 31, 2023 19:51 3m 5s
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
ProTip! You can narrow down the results and go further in time using created:<2023-08-22 or the other filters available.