Skip to content

Actions: rocq-prover/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,032 workflow runs
1,032 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #3851 from thery/rocq_coqprime CI #3126: Commit 65c735d pushed by proux01
1m 28s master
master
1m 28s
Merge pull request #3853 from proux01/mathcomp-reals-stdlib CI #3125: Commit 8fc7d12 pushed by proux01
1m 36s master
master
1m 36s
Merge pull request #3839 from JasonGross/coq-rewriter-0.0.21 CI #3124: Commit 0bfb6f8 pushed by proux01
1m 30s master
master
1m 30s
Merge pull request #3849 from yoshihiro503/opam-publish-rocq-navi.0.6.0 CI #3123: Commit 0fff843 pushed by proux01
1m 29s master
master
1m 29s
create the rocq-coqprime package CI #3122: Pull request #3851 synchronize by proux01
1m 15s thery:rocq_coqprime
thery:rocq_coqprime
1m 15s
rocq-mathcomp-reals-stdlib: fix Stdlib dep CI #3121: Pull request #3853 opened by proux01
1m 21s proux01:mathcomp-reals-stdlib
proux01:mathcomp-reals-stdlib
1m 21s
Merge pull request #3852 from mattam82/rocq-equations-1.9.2+9.3 CI #3120: Commit 03fd1a9 pushed by mattam82
4m 9s master
master
4m 9s
Equations 1.3.2 for 9.3 package CI #3119: Pull request #3852 opened by mattam82
4m 18s mattam82:rocq-equations-1.9.2+9.3
mattam82:rocq-equations-1.9.2+9.3
4m 18s
Merge pull request #3850 from thery/coqprime1_7 CI #3118: Commit 6f4c8bf pushed by silene
24s master
master
24s
create the rocq-coqprime package CI #3117: Pull request #3851 opened by thery
4m 17s thery:rocq_coqprime
thery:rocq_coqprime
4m 17s
Add coqprime for 9.2 CI #3116: Pull request #3850 opened by thery
5m 18s thery:coqprime1_7
thery:coqprime1_7
5m 18s
Merge pull request #3848 from affeldt-aist/robot_rocq.0.3.3 CI #3115: Commit 142b2da pushed by gares
26s master
master
26s
add rocq-hollight.1.0.0 (#3847) CI #3114: Commit bef5548 pushed by fblanqui
6m 38s master
master
6m 38s
Package rocq-navi.0.6.0 CI #3113: Pull request #3849 opened by yoshihiro503
1m 17s yoshihiro503:opam-publish-rocq-navi.0.6.0
yoshihiro503:opam-publish-rocq-navi.0.6.0
1m 17s
release of robot rocq 0.3.3 CI #3112: Pull request #3848 synchronize by affeldt-aist
3m 54s affeldt-aist:robot_rocq.0.3.3
affeldt-aist:robot_rocq.0.3.3
3m 54s
release of robot rocq 0.3.3 CI #3111: Pull request #3848 synchronize by affeldt-aist
3m 51s affeldt-aist:robot_rocq.0.3.3
affeldt-aist:robot_rocq.0.3.3
3m 51s
release of robot rocq 0.3.3 CI #3110: Pull request #3848 opened by affeldt-aist
1m 15s affeldt-aist:robot_rocq.0.3.3
affeldt-aist:robot_rocq.0.3.3
1m 15s
add rocq-hollight.1.0.0 CI #3109: Pull request #3847 opened by fblanqui
1m 31s Deducteam:rocq-hollight.1.0.0
Deducteam:rocq-hollight.1.0.0
1m 31s
Merge pull request #3846 from RalfJung/autosubst CI #3108: Commit 7fb9d90 pushed by gares
1m 30s master
master
1m 30s
Merge pull request #3844 from andrew-appel/coq-vst.3.1beta CI #3107: Commit 7d403b5 pushed by gares
1m 36s master
master
1m 36s
Merge pull request #3843 from affeldt-aist/analysis.1.18.0 CI #3106: Commit 9d76712 pushed by gares
1m 29s master
master
1m 29s
Merge pull request #3845 from coqelpibot/opam-publish-coq-elpi.3.5.1 CI #3105: Commit a1e6ec1 pushed by gares
1m 50s master
master
1m 50s
release autosubst v1.10 CI #3104: Pull request #3846 synchronize by RalfJung
1m 14s RalfJung:autosubst
RalfJung:autosubst
1m 14s
release autosubst v1.10 CI #3103: Pull request #3846 opened by RalfJung
1m 20s RalfJung:autosubst
RalfJung:autosubst
1m 20s
4 packages from LPCIC/coq-elpi at 3.5.1 CI #3102: Pull request #3845 opened by coqelpibot
1m 23s coqelpibot:opam-publish-coq-elpi.3.5.1
coqelpibot:opam-publish-coq-elpi.3.5.1
1m 23s